The white dog by the water.
The dog in the desert.
one dog is by water while the other is in the desert
exists s1 x1 x2.(n_water(x2) & n_dog(x1) & a_white(s1) & Theme(s1,x1) & a_topic(x1) & by(x1,x2))
exists x1 x2.(n_desert(x2) & n_dog(x1) & a_topic(x1) & in(x1,x2))