Two men in hats and orange uniforms are shoveling snow.
A snowplow gets all of the slush out of the way.
There is no need for shoveling snow if all of the slush out of the way.
exists e1 x1 x2 x3 x4 x5 x6.(Theme(e1,x6) & Actor(e1,x1) & v_shovel(e1) & n_snow(x6) & in(x1,x2) & subset_of(x4,x2) & n_uniform(x4) & of(x4,x5) & n_orange(x5) & subset_of(x3,x2) & n_hat(x3) & n_man(x1) & card_eq_2(x1))
exists x1 x3 x4.(n_way(x4) & n_slush(x3) & all x2.(n_thing(x2) -> exists e1.(r_out(e1) & of(e1,x4) & Theme(e1,x2) & Actor(e1,x1) & v_get(e1) & of(x2,x3))) & n_snowplow(x1))