People leaving the subway and walking to their destinations
These people are going to work.
People leaving the subway and walking to their destinations does  not imply they are going to work. They can go to different destinations.
exists e1 x1 x2 x3 x4 x5 x6.(n_destination(x6) & of(x6,x4) & n_thing(x4) & n_walking(x5) & n_subway(x4) & subset_of(x5,x3) & subset_of(x4,x3) & a_topic(x1) & to(e1,x6) & Theme(e1,x3) & Actor(e1,x2) & v_leave(e1) & (x1 = x2) & n_people(x1))
exists e1 p1 x1.(n_people(x1) & Topic(e1,p1) & Actor(e1,x1) & v_go(e1) & exists e2.(Actor(e2,x1) & v_work(e2)))