Two men in orange coveralls shovel snow off railroad tracks.
Two railroad workers are maintaining railroad tracks in the winter.
Two men and two railroad workers are the same and shovel snow off railroad tracks implies maintaining railroad tracks in the winter.
exists e1 x1 x2 x3 x4 x5 x6.(off(e1,x5) & n_track(x5) & of(x5,x6) & n_railroad(x6) & Theme(e1,x4) & Actor(e1,x1) & v_shovel(e1) & n_snow(x4) & in(x1,x2) & n_coverall(x2) & of(x2,x3) & n_orange(x3) & n_man(x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4 x5.(n_winter(x5) & in(e1,x5) & Theme(e1,x3) & Actor(e1,x1) & v_maintain(e1) & n_track(x3) & of(x3,x4) & n_railroad(x4) & n_worker(x1) & of(x1,x2) & n_railroad(x2) & card_eq_2(x1))