Man carrying produce walking down train tracks
The man is walking on the street.
The man can only walk on the train tracks or on the street, not both.
exists e1 e2 s1 x1 x2 x3 x4 x5.(a_topic(x1) & a_down(s1) & Manner(e2,s1) & Theme(e2,x4) & Actor(e2,x3) & v_walk(e2) & n_track(x4) & of(x4,x5) & n_train(x5) & (x1 = x3) & n_produce(x1) & Actor(e1,x1) & v_carry(e1) & of(x1,x2) & n_man(x2))
exists e1 x1 x2.(n_street(x2) & n_man(x1) & on(e1,x2) & Actor(e1,x1) & v_walk(e1))