a man in a hat operates machinery on smooth ice in the winter.
There are two dogs playing in the outside.
Man operates hat while dogs are playing.
exists e1 s1 x1 x2 x3 x4 x5.(n_winter(x5) & in(e1,x5) & on(e1,x4) & n_ice(x4) & a_smooth(s1) & Theme(s1,x4) & Theme(e1,x3) & Actor(e1,x1) & v_operate(e1) & n_machinery(x3) & in(x1,x2) & n_hat(x2) & n_man(x1))
exists p1 x1 x4.(n_outside(x4) & exists e1 x2 x3.((x1 = x2) & in(e1,x4) & Actor(e1,x3) & v_play(e1) & (x2 = x3) & n_dog(x2) & card_eq_2(x2)))