Two men are barbecuing their food while another prepares the meat.
Two men are sleeping.
Two mean that are barbecuing their food and prepares the meat cannot be sleeping.
exists e1 p1 x1 x2 x4.(n_meat(x4) & exists e2 x3.(Theme(e2,x4) & Actor(e2,x3) & v_prepare(e2) & n_thing(x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_barbecue(e1) & n_food(x2) & of(x2,x1) & n_thing(x1) & n_man(x1) & card_eq_2(x1))
exists e1 x1.(Actor(e1,x1) & v_sleep(e1) & n_man(x1) & card_eq_2(x1))