A surfer has just fallen off his surfboard and only his feet are visible above the water.
The surfer fell after the wave hit hijm.
Just because he fell off doesn't mean that he fell off after the wave hit him.
exists e1 s1 s2 s3 x1 x2 x3 x4 x5 x6.(n_water(x6) & above(s3,x6) & Theme(s3,x2) & a_visible(s3) & all x7.(subset_of(x7,x2) -> (x4 = x7)) & (x4 = x5) & subset_of(x5,x2) & n_foot(x5) & of(x5,x1) & n_male(x1) & n_male(x1) & subset_of(x3,x2) & n_surfboard(x3) & of(x3,x1) & a_just(s2) & Manner(e1,s2) & a_off(s1) & Manner(e1,s1) & Actor(e1,x1) & v_fall(e1) & n_surfer(x1))
exists e1 p1 x1 x2.(n_wave(x2) & n_surfer(x1) & exists e2 x3.(Theme(e2,x3) & Actor(e2,x2) & v_hit(e2) & n_hijm(x3)) & after(e1,p1) & Actor(e1,x1) & v_fall(e1))