Three young ladies looking off into the open water.
The ladies laying down star gazing.
One cannot be looking into the open water while laying down star gazing at the same time
exists e1 s1 s2 s3 x1 x2.(n_water(x2) & a_open(s2) & Theme(s2,x2) & a_off(s3) & Manner(e1,s3) & into(e1,x2) & Actor(e1,x1) & v_look(e1) & n_lady(x1) & a_young(s1) & Theme(s1,x1) & card_eq_3(x1))
exists e1 s1 x1 x2 x3 x4.(n_lady(x1) & a_topic(x1) & a_down(s1) & Manner(e1,s1) & Theme(e1,x3) & Actor(e1,x2) & v_lay(e1) & n_gaze(x3) & of(x3,x4) & n_star(x4) & (x1 = x2))