The large brown dog is walking through water in the ocean.
The dog is in the water.
If the dog is in the ocean then it is in the water.
exists e1 s1 s2 x1 x2 x3.(n_ocean(x3) & n_dog(x1) & a_brown(s2) & Theme(s2,x1) & a_large(s1) & Theme(s1,x1) & in(e1,x3) & through(e1,x2) & n_water(x2) & Actor(e1,x1) & v_walk(e1))
exists p1 x1 x2.(n_water(x2) & n_dog(x1) & in(x1,x2))