The scuba diver is underwater.
The scuba diver swims next to the fish.
The scuba diver is not implied to swim next to the fish.
exists p1 x1 x2.(n_diver(x1) & of(x1,x2) & n_scuba(x2) & exists x3.((x1 = x3) & n_underwater(x3)))
exists e1 p1 x1 x2 x3.(n_fish(x3) & n_diver(x1) & of(x1,x2) & n_scuba(x2) & exists s1.(to(s1,x3) & Theme(s1,x1) & a_next(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_swim(e1))