People walk down a street with shops along the way.
Some people are shopping.
Just because the people are walking down the street does not mean they are necessarily shopping.
exists e1 x1 x2 x3 x4.(n_way(x4) & along(e1,x4) & with(e1,x3) & n_shop(x3) & down(e1,x2) & n_street(x2) & Actor(e1,x1) & v_walk(e1) & n_people(x1))
exists p1 x1.(exists x2.((x1 = x2) & n_shopping(x2)) & n_people(x1))