A wolf moves over the snow.
The wolf is moving over dry lands.
moving over snow, the land is covered in moisture, while moving over dry land there is no moisture
exists s1 x1 x2.(n_snow(x2) & a_topic(x1) & over(x1,x2) & n_move(x1) & a_wolf(s1) & Theme(s1,x1))
exists e1 s1 x1 x2.(n_wolf(x1) & over(e1,x2) & n_land(x2) & a_dry(s1) & Theme(s1,x2) & Actor(e1,x1) & v_move(e1))