A man is stage diving onto a crowd of fans.
A man stage dives at a show.
Stage diving onto a crowd of fans implies a show.
exists p1 x1.(exists e1 x2 x3 x4 x5.((x1 = x2) & onto(e1,x4) & of(x4,x5) & n_fan(x5) & n_crowd(x4) & Actor(e1,x3) & v_dive(e1) & (x2 = x3) & n_stage(x2)) & n_man(x1))
exists x1 x2 x3 x4.(a_topic(x1) & at(x1,x4) & n_show(x4) & n_dive(x1) & of(x1,x3) & n_stage(x3) & of(x1,x2) & n_man(x2))