A man and girl sit on a bench while eating ice cream cones.
The man is not eating ice cream
One cannot be eating and not eating simultaneously.
exists e2 e1 x1 x2 x3 x4 x5 x6 x7.(while(e1,e2) & Theme(e2,x5) & Actor(e2,x1) & v_eat(e2) & n_cone(x5) & of(x5,x7) & n_cream(x7) & of(x5,x6) & n_ice(x6) & on(e1,x4) & n_bench(x4) & Actor(e1,x1) & v_sit(e1) & n_girl(x3) & n_man(x2) & subset_of(x3,x1) & subset_of(x2,x1))
exists x1.(n_man(x1) & -exists e1 x2 x3.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1) & n_cream(x2) & of(x2,x3) & n_ice(x3)))