A conductor of a train leans out of a window and looks to the right, while another man inside of the carriage looks towards some gauges.
The conductor is making sure the train is on the right track.
Looking out the train window to the right does not imply he is making sure the train is on the right track.
exists e2 e1 p1 x1 x2 x3 x4 x5 x6 x7 x9.(n_carriage(x9) & n_man(x7) & n_right(x6) & exists e3 x8 x10.(towards(e3,x10) & n_gauge(x10) & Actor(e3,x8) & v_look(e3) & of(x8,x9) & r_inside(x8) & n_man(x8) & -(x8 = x7)) & while(e2,p1) & to(e2,x6) & Actor(e2,x4) & v_look(e2) & of(x4,x5) & n_train(x5) & n_conductor(x4) & of(e1,x3) & n_window(x3) & r_out(e1) & Actor(e1,x1) & v_lean(e1) & of(x1,x2) & n_train(x2) & n_conductor(x1))
exists e1 p1 s1 x1 x2 x3.(n_track(x3) & a_right(s1) & Theme(s1,x3) & n_train(x2) & n_conductor(x1) & exists e2 p2.(exists p3.on(x2,x3) & Topic(e2,p2) & Actor(e2,x1) & v_sure(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_make(e1))