Two people sit in the dark, on the shore, looking at the city lights.
Nobody is sitting.
Either two people are sitting or nobody is sitting-- not both.
exists e2 e1 x1 x2 x3 x4 x5.(n_light(x4) & of(x4,x5) & n_city(x5) & n_shore(x3) & n_dark(x2) & for(e1,e2) & at(e2,x4) & Actor(e2,x1) & v_look(e2) & on(e1,x3) & in(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_people(x1) & card_eq_2(x1))
-exists e1 x1.(Actor(e1,x1) & v_sit(e1) & n_person(x1))