A dolphin pokes its head out of the water.
The dolphin is swimming.
The dolphin must be swimming if it is poking it's head out of the water.
exists e1 x1 x2 x3.(n_water(x3) & of(e1,x3) & r_out(e1) & Theme(e1,x2) & Actor(e1,x1) & v_poke(e1) & n_head(x2) & of(x2,x1) & n_thing(x1) & n_dolphin(x1))
exists p1 x1.(n_dolphin(x1) & exists x2.((x1 = x2) & n_swimming(x2)))