The man is drinking beer while the other one eats chips.
The sad man is drinking beer while the other one eats chips.
No way to know that the man is sad just because he is drinking beer.
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 s1 x1 x2.(-(x1 = x1) & n_thing(x1) & card_eq_1(x1) & n_man(x1) & a_sad(s1) & Theme(s1,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))