A SCUBA diver swimming deep underwater with a turtle.
The diver is in the ocean.
Just because he is deep underwater, it does not mean, he is in the ocean, he may be in any water body.
exists s1 x1 x2 x3 x4 x5.(a_topic(x1) & with(x1,x5) & n_turtle(x5) & n_underwater(x1) & a_deep(s1) & Theme(s1,x1) & of(x1,x4) & n_swimming(x4) & of(x1,x3) & n_diver(x3) & (x1 = x2) & ne_nam_scuba(x2))
exists p1 x1 x2.(n_ocean(x2) & n_diver(x1) & in(x1,x2))