A man in a gray hat pushes some type of equipment over ice.
the man in the gray hat has slipped on the ice.
If someone pushes equipment over ice, they haven't slipped on the ice.
exists e1 s1 x1 x2 x3 x4 x5.(Theme(e1,x3) & Actor(e1,x1) & v_push(e1) & over(x3,x5) & n_ice(x5) & of(x3,x4) & n_equipment(x4) & n_type(x3) & in(x1,x2) & n_hat(x2) & a_gray(s1) & Theme(s1,x2) & n_man(x1))
exists e1 s1 x1 x2 x3.(n_ice(x3) & n_hat(x2) & a_gray(s1) & Theme(s1,x2) & n_man(x1) & on(e1,x3) & Actor(e1,x1) & v_slip(e1) & in(x1,x2))