A dolphin leaping out of the blue ocean.
The dolphin is in the water.
The dolphin must be in the water to leap out of it.
exists e1 s1 x1 x2 x3.(n_ocean(x3) & a_blue(s1) & Theme(s1,x3) & a_topic(x1) & of(e1,x3) & r_out(e1) & Actor(e1,x2) & v_leap(e1) & (x1 = x2) & n_dolphin(x1))
exists p1 x1 x2.(n_water(x2) & n_dolphin(x1) & in(x1,x2))