A woman is sitting down and leaning her head on her hand while another woman is smiling and sitting next to her.
Two women sit next to each other, with one smiling and the other leaning her head on her hand.
A  woman is sitting down and leaning her head on her hand while another woman is sitting next to her. is same as two women sit next to each other, with one smiling and the other leaning her head on her hand
exists e1 e2 e3 p1 s1 x1 x2 x3 x4 x5.(to(e3,x1) & n_female(x1) & n_female(x1) & n_female(x1) & r_next(e3) & Actor(e3,x5) & v_sit(e3) & n_woman(x5) & exists e4 x6.(Actor(e4,x6) & v_smile(e4) & n_woman(x6) & -(x6 = x1)) & n_woman(x1) & n_woman(x1) & while(e2,p1) & on(e2,x4) & n_hand(x4) & of(x4,x1) & Theme(e2,x3) & Actor(e2,x2) & v_lean(e2) & n_head(x3) & of(x3,x1) & n_woman(x2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1))
exists e1 e2 x1 x2 x3 x4 x5 x6.(n_hand(x6) & of(x6,x4) & n_female(x4) & n_female(x4) & n_head(x5) & of(x5,x4) & n_other(x4) & on(e2,x6) & Theme(e2,x5) & Actor(e2,x2) & v_lean(e2) & with(e1,x2) & subset_of(x4,x2) & subset_of(x3,x2) & n_smiling(x3) & card_eq_1(x3) & all x7.(n_other(x7) -> to(e1,x7)) & r_next(e1) & Actor(e1,x1) & v_sit(e1) & n_woman(x1) & card_eq_2(x1))