A white dog is in the water.
A white dog swims after a cat in the water.
Just because the dog is in the water does not mean it is swimming.   Just because the dog is in the water does not mean there is also a cat.
exists p1 s1 x1 x2.(n_water(x2) & in(x1,x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1))
exists s1 x1 x2 x3 x4.(n_water(x4) & a_topic(x1) & after(x1,x3) & in(x3,x4) & n_cat(x3) & n_swim(x1) & of(x1,x2) & n_dog(x2) & a_white(s1) & Theme(s1,x1))