Two men resting uptop a snowy mountain.
One of the men is playing in the sand.
resting is the opposite of playing. snowy mountain is not the same as in the sand.
exists e1 s1 x1 x2 x3.(a_topic(x1) & uptop(e1,x3) & n_mountain(x3) & a_snowy(s1) & Theme(s1,x3) & Actor(e1,x2) & v_rest(e1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_sand(x3) & n_man(x2) & in(e1,x3) & Actor(e1,x1) & v_play(e1) & of(x1,x2) & n_thing(x1) & card_eq_1(x1))