Two children eating food.
The children have not eaten all day.
Just because two children eating food does not mean that they have not eaten all day.
exists e1 x1 x2 x3.(a_topic(x1) & Theme(e1,x3) & Actor(e1,x2) & v_eat(e1) & n_food(x3) & (x1 = x2) & n_child(x1) & card_eq_2(x1))
exists x1.(n_child(x1) & -all x2.(n_day(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_eat(e1))))