A black dog is retrieving a ball in water.
A black dog is swimming.
The black dog bounds off the end of the dock, determined in retrieving that ball that his owner threw out into the water.
exists e1 s1 x1 x2 x3.(in(e1,x3) & n_water(x3) & Theme(e1,x2) & Actor(e1,x1) & v_retrieve(e1) & n_ball(x2) & n_dog(x1) & a_black(s1) & Theme(s1,x1))
exists p1 s1 x1.(exists x2.((x1 = x2) & n_swimming(x2)) & n_dog(x1) & a_black(s1) & Theme(s1,x1))