A brown dog up to its neck in water
Just the head of the brown dog is visible above the surface of the water.
If the dog is up to its neck in water means just the head is visible.
exists s1 x1 x2 x3 x4.(a_topic(x1) & to(x2,x3) & in(x3,x4) & n_water(x4) & n_neck(x3) & of(x3,x1) & n_thing(x1) & up(x1,x2) & n_thing(x2) & n_dog(x1) & a_brown(s1) & Theme(s1,x1))
exists s1 s2 x1 x2 x3 x4.(n_water(x4) & n_surface(x3) & n_dog(x2) & a_brown(s1) & Theme(s1,x2) & n_head(x1) & above(s2,x3) & of(x3,x4) & Theme(s2,x1) & a_visible(s2) & of(x1,x2) & r_just(x1))