Two men sit at a small round table and drink beer.
Two men are at fast asleep at home.
One cannot drink beer when one is fast asleep.
exists e1 s1 x1 x2 x3 x4 x5 x6.(at(e1,x2) & subset_of(x5,x2) & n_beer(x5) & of(x5,x6) & n_drink(x6) & subset_of(x3,x2) & n_table(x3) & of(x3,x4) & n_round(x4) & a_small(s1) & Theme(s1,x3) & Actor(e1,x1) & v_sit(e1) & n_man(x1) & card_eq_2(x1))
exists p1 x1 x2.(at(p1,x2) & n_home(x2) & exists s1 x3.(at(x1,x3) & n_asleep(x3) & a_fast(s1) & Theme(s1,x3)) & n_man(x1) & card_eq_2(x1))