Dog jumping to catch falling snow out in the woods.
The dog is thirsty and is trying to catch snow for a drink.
A dog can catch falling snow out of playfulness and not because it is thirsty and wants a drink.
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 s1 x1.(n_dog(x1) & Topic(e1,p1) & Actor(e1,x1) & v_try(e1) & exists e2 x2 x3.(for(e2,x3) & n_drink(x3) & Theme(e2,x2) & Actor(e2,x1) & v_catch(e2) & n_snow(x2)) & Theme(s1,x1) & a_thirsty(s1))