A man finds a unique place to sit and rest on a city sidewalk.
Nobody is sitting
A man sits and rests so the statement nobody is sitting is false.
exists e1 p1 s1 x1 x2 x3.(Topic(e1,p1) & exists e3 e2 x4 x5.(on(e3,x4) & n_sidewalk(x4) & of(x4,x5) & n_city(x5) & Actor(e3,x1) & v_rest(e3) & Actor(e2,x1) & v_sit(e2)) & Theme(e1,x3) & Actor(e1,x2) & v_find(e1) & n_place(x3) & a_unique(s1) & Theme(s1,x3) & n_man(x2) & n_man(x1))
-exists e1 x1.(Actor(e1,x1) & v_sit(e1) & n_person(x1))