People walk down the busy sidewalk.
people are walking to work
Just because people are walking down the busy sidewalk it does not mean that they are all walking to work.
exists e1 s1 x1 x2.(n_sidewalk(x2) & a_busy(s1) & Theme(s1,x2) & down(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_people(x1))
exists e1 p1 x1.(Topic(e1,p1) & Actor(e1,x1) & v_walk(e1) & exists e2.(Actor(e2,x1) & v_work(e2)) & n_people(x1))