A repairman is working on a train.
A man is working on an old, beat up train.
It cannot be inferred that the repairman is working on an old, beat up train. The condition of the train is not given.
exists e1 x1 x2.(on(e1,x2) & n_train(x2) & Actor(e1,x1) & v_work(e1) & n_repairman(x1))
exists e1 e2 s1 x1 x2 x3 x4.(on(e1,x2) & a_up(s1) & Manner(e2,s1) & Theme(e2,x4) & Actor(e2,x3) & v_beat(e2) & n_train(x4) & (x2 = x3) & n_old(x2) & Actor(e1,x1) & v_work(e1) & n_man(x1))