A dark dog is in a body of water.
The old black dog just retreived the duck and is swimming through the pond to bring it back to its master.
Just because a dark dog is in a body of water does not imply that the old black dog just retreived the duck and is swimming through the pond to bring it back to its master.
exists p1 s1 x1.(exists x2 x3.(in(x1,x2) & of(x2,x3) & n_water(x3) & n_body(x2)) & n_dog(x1) & a_dark(s1) & Theme(s1,x1))
exists e2 e1 p1 s1 s2 s3 s4 s5 s6 s7 x1 x2 x3 x4.(n_master(x4) & of(x4,x2) & n_thing(x2) & n_thing(x2) & n_pond(x3) & n_dog(x1) & a_black(s7) & Theme(s7,x1) & a_old(s6) & Theme(s6,x1) & a_black(s5) & Theme(s5,x1) & a_old(s4) & Theme(s4,x1) & n_duck(x2) & a_black(s2) & Theme(s2,x1) & a_old(s1) & Theme(s1,x1) & Topic(e2,p1) & exists e3.(to(e3,x4) & r_back(e3) & Theme(e3,x2) & Actor(e3,x1) & v_bring(e3)) & through(e2,x3) & Actor(e2,x1) & v_swim(e2) & a_just(s3) & Manner(e1,s3) & Theme(e1,x2) & Actor(e1,x1) & v_retreive(e1))