A town street is filled with people along with shops.
People are shopping.
Just because, the street is filled with people along with shops, does not mean there are people shopping.
exists e1 x1 x2 x3 x4.(with(e1,x4) & n_shop(x4) & r_along(e1) & with(e1,x3) & n_people(x3) & Theme(e1,x1) & v_fill(e1) & n_street(x1) & of(x1,x2) & n_town(x2))
exists p1 x1.(exists x2.((x1 = x2) & n_shop(x2)) & n_people(x1))