Two men step off the bus together.
The men have traveled to New York city.
two men stepping off the bus does not necessarily mean they have travelled to New York city
exists e1 s1 s2 x1 x2.(n_bus(x2) & a_together(s2) & Manner(e1,s2) & a_off(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_step(e1) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4.(n_man(x1) & to(e1,x2) & n_city(x2) & (x2 = x4) & ne_geo_york(x4) & (x2 = x3) & ne_geo_new(x3) & Actor(e1,x1) & v_travel(e1))