A dog is jumping into the water.
The water is warm.
when the dog is jumping into the water, it does not necessarily mean that the water is warm, it can be cold or warm
exists e1 x1 x2.(n_water(x2) & into(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_dog(x1))
exists s1 x1.(n_water(x1) & Theme(s1,x1) & a_warm(s1))