A woman is resting her head on another woman's shoulder.
The lady pushes the other lady.
If the woman is resting her head, she can't pushes the other.
exists e1 x1 x2 x3 x4.(on(e1,x4) & n_shoulder(x4) & of(x4,x3) & n_woman(x3) & -(x3 = x1) & n_woman(x1) & n_woman(x1) & Theme(e1,x2) & Actor(e1,x1) & v_rest(e1) & n_head(x2) & of(x2,x1) & n_female(x1))
exists e1 x1 x2.(-(x2 = x1) & n_lady(x1) & n_lady(x1) & n_lady(x2) & Theme(e1,x2) & Actor(e1,x1) & v_push(e1))