People walking down the sidewalk
The people are sitting down in the dining room.
The people cannot be both walking down the sidewalk while also sitting down in the dining room.
exists e1 x1 x2 x3.(n_sidewalk(x3) & a_topic(x1) & down(e1,x3) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_people(x1))
exists e1 s1 x1 x2 x3.(n_room(x2) & of(x2,x3) & n_dining(x3) & n_people(x1) & in(e1,x2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_sit(e1))