Several people walking past a food cart on a city street.
There is no place to buy food on the street.
If several people are walking past a food cart on the street, then it would be untrue to say that there is no place to buy food on the street.
exists e1 s1 x1 x2 x3 x4 x5 x6.(a_topic(x1) & past(e1,x3) & on(x3,x5) & n_street(x5) & of(x5,x6) & n_city(x6) & n_cart(x3) & of(x3,x4) & n_food(x4) & Actor(e1,x2) & v_walk(e1) & (x1 = x2) & n_people(x1) & a_several(s1) & Theme(s1,x1))
exists p1 x1 x4.(n_street(x4) & -exists p2 x2.((x1 = x2) & Topic(x2,p2) & exists e1 x3.(on(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_buy(e1) & n_food(x3)) & n_place(x2)))