An elderly woman is eating a burger while the man next to her touching his hat.
The man is eating a burger and the lady his touching her hat.
Two totally opposite and contradictory statements in man eating burger instead of woman and lady touching her hat instead of man touching his hat.
exists e2 e1 s1 x1 x2 x3 x4 x5 x6.(n_female(x3) & n_man(x3) & while(e1,x3) & Theme(e2,x6) & Actor(e2,x5) & v_touch(e2) & n_hat(x6) & of(x6,x1) & n_male(x1) & (x3 = x5) & to(x4,x3) & next(x3,x4) & n_thing(x4) & Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_burger(x2) & n_woman(x1) & a_elderly(s1) & Theme(s1,x1))
exists e2 e1 x1 x2 x3 x4 x5 x6 x7.(n_hat(x7) & of(x7,x4) & n_female(x4) & n_his(x4) & of(x4,x5) & n_lady(x5) & n_man(x1) & Theme(e2,x2) & Actor(e2,x1) & v_eat(e2) & subset_of(x4,x2) & Theme(e1,x7) & Actor(e1,x6) & v_touch(e1) & (x4 = x6) & subset_of(x3,x2) & n_burger(x3))