A large furry dog walking through the water with a big stick in his mouth.
A small dog is on dry land.
The dog can not be large and small. If the dog is on dry land, it can not be walking through water.
exists e1 s1 s2 x1 x2 x3 x4 x5 x6.(n_mouth(x6) & of(x6,x4) & n_male(x4) & n_water(x4) & a_topic(x1) & in(e1,x6) & with(e1,x5) & n_stick(x5) & a_big(s2) & Theme(s2,x5) & through(e1,x4) & Actor(e1,x3) & v_walk(e1) & (x1 = x3) & n_dog(x1) & of(x1,x2) & n_furry(x2) & a_large(s1) & Theme(s1,x1))
exists p1 s1 x1.(exists s2 x2.(on(x1,x2) & n_land(x2) & a_dry(s2) & Theme(s2,x2)) & n_dog(x1) & a_small(s1) & Theme(s1,x1))