People watching TV while eating.
there is no food
The people cannot be eating if there is no food.
exists e2 e1 x1 x2 x3.(a_topic(x1) & while(e1,e2) & Actor(e2,x2) & v_eat(e2) & Theme(e1,x3) & Actor(e1,x2) & v_watch(e1) & n_tv(x3) & (x1 = x2) & n_people(x1))
exists p1 x1.-exists x2.((x1 = x2) & n_food(x2))