A squirrel jumps in the snow.
The squirrel is playing on the ground.
Jumping in the snow may not imply that the squirrel is playing on the ground.
exists s1 x1 x2.(n_snow(x2) & a_topic(x1) & in(x1,x2) & n_jump(x1) & a_squirrel(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_ground(x2) & n_squirrel(x1) & on(e1,x2) & Actor(e1,x1) & v_play(e1))