Surfer coasts over some small waves, models for camera.
The surfer crashes into the water as a huge wave hits him.
If the surfer coasts over small waves, it is not possible for him to also be the surfer that crashes under a huge wave.
exists e1 s1 x1 x2 x3 x4.(ne_nam_surfer(x1) & over(e1,x2) & rel(x2,x3) & for(x3,x4) & n_camera(x4) & n_model(x3) & n_wave(x2) & a_small(s1) & Theme(s1,x2) & Actor(e1,x1) & v_coast(e1))
exists e1 p1 x1 x2.(n_male(x2) & n_water(x2) & n_surfer(x1) & exists e2 s1 x3.(Theme(e2,x2) & Actor(e2,x3) & v_hit(e2) & n_wave(x3) & a_huge(s1) & Theme(s1,x3)) & as(e1,p1) & into(e1,x2) & Actor(e1,x1) & v_crash(e1))