The dogs play in the snow on hind legs.
The dog is enjoying the snow.
The dogs that play in the snow is surely enjoying the snow.
exists e1 x1 x2 x3 x4.(n_snow(x2) & n_dog(x1) & in(e1,x2) & on(x2,x3) & n_leg(x3) & of(x3,x4) & n_hind(x4) & Actor(e1,x1) & v_play(e1))
exists e1 x1 x2.(n_snow(x2) & n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1))