A woman with her hair up and wearing sunglasses is sitting and leaning against the back of a sofa while looking at her phone.
A woman is texting her friends while sitting on a sofa.
The fact that  a woman with her hair up and wearing sunglasses is sitting and leaning against the back of a sofa while looking at her phone does not imply that she is texting her friends.
exists e3 e1 e5 e2 e4 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14.(n_back(x12) & while(e4,e5) & at(e5,x14) & n_phone(x14) & of(x14,x8) & n_female(x8) & n_female(x8) & Actor(e5,x6) & v_look(e5) & against(e4,x12) & of(x12,x13) & n_sofa(x13) & Actor(e4,x6) & v_lean(e4) & subset_of(e3,x6) & Theme(e3,x11) & Actor(e3,x10) & v_wear(e3) & n_sunglass(x11) & n_thing(x10) & subset_of(x7,x6) & r_up(x7) & with(x7,x9) & n_hair(x9) & of(x9,x8) & n_woman(x7) & Actor(e2,x1) & v_sit(e2) & subset_of(e1,x1) & Theme(e1,x5) & Actor(e1,x4) & v_wear(e1) & n_sunglass(x5) & n_thing(x4) & subset_of(x2,x1) & r_up(x2) & with(x2,x3) & n_hair(x3) & of(x3,x2) & n_female(x2) & n_woman(x2))
exists e1 e2 x1 x2 x3.(while(e1,e2) & on(e2,x3) & n_sofa(x3) & Actor(e2,x1) & v_sit(e2) & Theme(e1,x2) & Actor(e1,x1) & v_text(e1) & n_friend(x2) & of(x2,x1) & n_female(x1) & n_woman(x1))