Three dogs running through water.
The dogs are in the water.
dogs are in the water can also be said as it is running through water
exists e1 x1 x2 x3.(a_topic(x1) & through(e1,x3) & n_water(x3) & Actor(e1,x2) & v_run(e1) & (x1 = x2) & n_dog(x1) & card_eq_3(x1))
exists p1 x1 x2.(n_water(x2) & n_dog(x1) & in(x1,x2))