a large building with all people walking by.
They are on their way to work.
People walk in towns and cities every day, not always on the way to work.
exists s1 x1.(all x2.(n_people(x2) -> exists e1 s2 x3.(a_topic(x1) & with(x1,x2) & a_by(s2) & Manner(e1,s2) & Actor(e1,x3) & v_walk(e1) & (x2 = x3))) & n_building(x1) & a_large(s1) & Theme(s1,x1))
exists p1 x1 x2.(n_way(x2) & of(x2,x1) & n_thing(x1) & n_thing(x1) & exists p2.(on(x1,x2) & Topic(x2,p2) & exists e1.(Actor(e1,x2) & v_work(e1))))