Two men, one in a suit and the other in jeans, are waiting for the bus.
People are going to work.
Waiting for the bus does not imply going to work.
exists e1 x1 x2 x3 x4 x5 x6 x7.(n_bus(x7) & n_other(x5) & for(e1,x7) & Actor(e1,x1) & v_wait(e1) & rel(x1,x2) & subset_of(x5,x2) & in(x5,x6) & n_jeans(x6) & subset_of(x3,x2) & in(x3,x4) & n_suit(x4) & n_thing(x3) & card_eq_1(x3) & n_man(x1) & card_eq_2(x1))
exists e1 p1 x1.(Topic(e1,p1) & Actor(e1,x1) & v_go(e1) & exists e2.(Actor(e2,x1) & v_work(e2)) & n_people(x1))