Two men shoveling snow off a railroad track dressed in bright orange snowsuits.
The two men are prisoners in orange snowsuits.
Not all men in orange are prisoners.
exists e1 e2 s1 x1 x2 x3 x4 x5 x6 x7.(in(e2,x6) & n_snowsuit(x6) & of(x6,x7) & n_orange(x7) & a_bright(s1) & Theme(s1,x6) & Theme(e2,x1) & v_dress(e2) & off(e1,x4) & n_track(x4) & of(x4,x5) & n_railroad(x5) & Theme(e1,x3) & Actor(e1,x2) & v_shovel(e1) & n_snow(x3) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists p1 x1.(n_man(x1) & card_eq_2(x1) & exists x2 x3 x4.((x1 = x2) & in(x2,x3) & n_snowsuit(x3) & of(x3,x4) & n_orange(x4) & n_prisoner(x2)))