A white dog is in the water.
The dog loves to swim
The dog is in the water but it's not necessarily true that the dog loves to swim.
exists p1 s1 x1 x2.(n_water(x2) & in(x1,x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
exists e1 p1 x1.(n_dog(x1) & Topic(e1,p1) & Actor(e1,x1) & v_love(e1) & exists e2.(Actor(e2,x1) & v_swim(e2)))