The man leaps above the other team to spike the ball.
He didn't leap.
A man who leaps cannot be the same man who didn't leap.
exists e1 p1 x1 x2 x3.(n_ball(x3) & -(x2 = x2) & n_team(x2) & n_man(x1) & above(e1,x2) & Topic(x2,p1) & exists e2.(Theme(e2,x3) & Actor(e2,x2) & v_spike(e2)) & Actor(e1,x1) & v_leap(e1))
exists x1.(n_male(x1) & -exists e1.(Actor(e1,x1) & v_leap(e1)))