A man cooks with a pot on the stove in the kitchen, two other men observe.
A man is heating food while two men do no cooking.
Cooking implies heat food and observing implies the other two men do no cooking.
exists e1 x1 x2 x3 x4 x5 x6.(n_kitchen(x5) & n_stove(x4) & Actor(e1,x1) & v_observe(e1) & with(x1,x3) & rel(x3,x6) & -(x6 = x2) & n_man(x2) & n_man(x2) & n_man(x6) & card_eq_2(x6) & on(x3,x4) & in(x4,x5) & n_pot(x3) & n_cook(x1) & of(x1,x2))
exists e1 p1 x1 x2.(exists x3.(-exists e2 x4.(Theme(e2,x4) & Actor(e2,x3) & v_do(e2) & n_cooking(x4)) & n_man(x3) & card_eq_2(x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_heat(e1) & n_food(x2) & n_man(x1))