a shop with people walking by.
No one is walking by the shop.
People are walking by or no one is walking by, but not both.
exists e1 s1 x1 x2 x3.(a_topic(x1) & with(x1,x2) & a_by(s1) & Manner(e1,s1) & Actor(e1,x3) & v_walk(e1) & (x2 = x3) & n_people(x2) & n_shop(x1))
exists x2.(n_shop(x2) & -exists e1 x1.(by(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_one(x1)))