A squirrel jumps in the snow.
The squirrel is cold, and jumps to stay warm.
The squirrel jumping in the snow does not imply the squirrel is cold, and jumps to stay warm.
exists s1 x1 x2.(n_snow(x2) & a_topic(x1) & in(x1,x2) & n_jump(x1) & a_squirrel(s1) & Theme(s1,x1))
exists e1 p1 s1 x1.(n_squirrel(x1) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1) & exists e2 p2.(exists s2.(Theme(s2,x1) & a_warm(s2)) & Topic(e2,p2) & Actor(e2,x1) & v_stay(e2)) & Theme(s1,x1) & a_cold(s1))