Dog jumping to catch falling snow out in the woods.
The dog jumps to catch rain drops in the woods.
The dog cannot be catching rain and snow at the same time.
exists e1 p1 x1 x3.(n_wood(x3) & ne_nam_dog(x1) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1) & exists e3 e2 x2.(in(e3,x3) & r_out(e3) & Theme(e3,x2) & Actor(e3,x1) & v_catch(e3) & n_snow(x2) & Actor(e2,x2) & v_fall(e2)))
exists e1 p1 x1 x4.(n_wood(x4) & n_dog(x1) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1) & exists e2 x2 x3.(in(e2,x4) & Theme(e2,x2) & Actor(e2,x1) & v_catch(e2) & n_drop(x2) & of(x2,x3) & n_rain(x3)))