A group of men are sitting around having drinks.
the men are asleep in the motel
The men would not be having drinks while they are asleep.
exists e1 e2 x1 x2 x3.(around(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_have(e2) & n_drink(x3) & Actor(e1,x1) & v_sit(e1) & of(x1,x2) & n_man(x2) & n_group(x1))
exists s1 x1 x2.(n_motel(x2) & n_man(x1) & in(s1,x2) & Theme(s1,x1) & a_asleep(s1))