The large brown dog is walking through water in the ocean.
The male dog is in the water.
Not all large brown dogs are male.
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 s1 x1 x2.(n_water(x2) & n_dog(x1) & a_male(s1) & Theme(s1,x1) & in(x1,x2))