The scuba diver is underwater.
The scuba diver is underwater exploring for treasure.
Just because the scuba diver is under water, does not mean that he is exploring for treasure.
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.(n_diver(x1) & of(x1,x2) & n_scuba(x2) & exists e2 x3.(for(e2,x3) & n_treasure(x3) & Actor(e2,x1) & v_explore(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_underwater(e1))