An old man with a suitcase walking across a street.
An old man is walking to the market across the street
The man is walking across the street but it cannot be inferred that he is walking to the market.
exists s1 x1 x2 x3 x4.(a_topic(x1) & with(x1,x2) & across(x2,x4) & n_street(x4) & n_walking(x2) & of(x2,x3) & n_suitcase(x3) & n_man(x1) & a_old(s1) & Theme(s1,x1))
exists e1 s1 x1 x2 x3.(n_street(x3) & n_market(x2) & across(e1,x3) & to(e1,x2) & Actor(e1,x1) & v_walk(e1) & n_man(x1) & a_old(s1) & Theme(s1,x1))