A surfer being towed by a boat has hit a wave.
A surfer is propelled into the air after hitting a wave.
You can not infer he went into the air.
exists e1 e2 x1 x2 x3 x4.(Theme(e2,x4) & Actor(e2,x1) & v_hit(e2) & n_wave(x4) & Actor(e1,x3) & n_boat(x3) & Theme(e1,x2) & v_tow(e1) & (x1 = x2) & n_surfer(x1))
exists e1 e2 x1 x2 x3.(n_air(x2) & after(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_hit(e2) & n_wave(x3) & into(e1,x2) & Theme(e1,x1) & v_propel(e1) & n_surfer(x1))