The man is drinking beer while the other one eats chips.
The man is drinking while the other one eats chips.
other one eats chips is restated.
exists e1 p1 x1 x2.(-(x1 = x1) & n_thing(x1) & card_eq_1(x1) & n_man(x1) & exists e2 x3.(Theme(e2,x3) & Actor(e2,x1) & v_eat(e2) & n_chip(x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_beer(x2))
exists e1 p1 x1.(-(x1 = x1) & n_thing(x1) & card_eq_1(x1) & n_man(x1) & exists e2 x2.(Theme(e2,x2) & Actor(e2,x1) & v_eat(e2) & n_chip(x2)) & while(e1,p1) & Actor(e1,x1) & v_drink(e1))