Three young men are playing monopoly together, and one is being pushed by the other.
the men are asleep in the motel
The men can not be playing monopoly if they are asleep in the motel.
exists e2 e1 s1 s2 x1 x2 x3 x4.(n_other(x4) & Actor(e2,x4) & Theme(e2,x3) & v_push(e2) & n_thing(x3) & card_eq_1(x3) & a_together(s2) & Manner(e1,s2) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_monopoly(x2) & n_man(x1) & a_young(s1) & Theme(s1,x1) & card_eq_3(x1))
exists s1 x1 x2.(n_motel(x2) & n_man(x1) & in(s1,x2) & Theme(s1,x1) & a_asleep(s1))