four people sit eating together at a table with another person in the background facing away.
The people at the table are zombies.
They cannot simultaneously be people and be zombies
exists e1 p1 x1 x3 x5.(n_background(x5) & n_person(x3) & exists e2 e3 p2 p3 x2 x4.(exists s2.(Theme(s2,x4) & a_away(s2)) & Topic(e3,p3) & Actor(e3,x4) & v_face(e3) & with(e2,x4) & in(x4,x5) & n_person(x4) & -(x4 = x3) & at(e2,x2) & n_table(x2) & exists s1.(Theme(s1,x1) & a_together(s1)) & Topic(e2,p2) & Actor(e2,x1) & v_eat(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_sit(e1) & n_people(x1) & card_eq_4(x1))
exists p1 x1 x2.(n_table(x2) & n_people(x1) & exists x3.((x1 = x3) & n_zombie(x3)) & at(x1,x2))