There are plenty of people in the city shopping.
The city is abandoned.
There are plenty of people in the city shopping instead of it being abandoned.
exists p1 x1 x4 x5.(n_shopping(x4) & of(x4,x5) & n_city(x5) & exists x2 x3.((x1 = x2) & of(x2,x3) & in(x3,x4) & n_people(x3) & n_plenty(x2)))
exists e1 x1.(n_city(x1) & Theme(e1,x1) & v_abandon(e1))