Food is laid out across a table ready to be eaten.
Food is no longer on the table after the people have eaten it all.
The food is either already eaten or it is ready to be eaten in the future.
exists e1 p1 s1 s2 x1 x2 x3.(ne_nam_food(x1) & across(e1,x2) & Topic(s2,p1) & Actor(s2,x3) & a_ready(s2) & exists e2.(Theme(e2,x3) & v_eat(e2)) & (x2 = x3) & n_table(x2) & a_out(s1) & Manner(e1,s1) & Theme(e1,x1) & v_lay(e1))
exists p1 p2 s1 x1 x2 x3.(n_thing(x2) & n_people(x3) & n_table(x2) & ne_nam_food(x1) & all x4.((x4 = x2) -> exists e1.(Theme(e1,x4) & Actor(e1,x3) & v_eat(e1))) & after(p1,p2) & r_no(p1) & a_longer(s1) & Manner(p1,s1) & on(x1,x2))