A black dog with a red collar wading through the water.
A white dog is running through the grass.
Black is not white, and if his in the water, he is not in the grass.
exists e1 s1 s2 x1 x2 x3 x4.(n_water(x4) & a_topic(x1) & with(x1,x2) & through(e1,x4) & Actor(e1,x3) & v_wade(e1) & (x2 = x3) & n_collar(x2) & a_red(s2) & Theme(s2,x2) & n_dog(x1) & a_black(s1) & Theme(s1,x1))
exists e1 s1 x1 x2.(n_grass(x2) & through(e1,x2) & Actor(e1,x1) & v_run(e1) & n_dog(x1) & a_white(s1) & Theme(s1,x1))