Two soccer players on different teams collide in midair while jumping towards the ball.
The players but heads.
Soccer players colliding doesn't infer that they but heads.
exists e1 e2 x1 x2 x3 x4 x5 x6.(n_ball(x6) & n_team(x4) & while(e1,e2) & towards(e2,x6) & Actor(e2,x1) & v_jump(e2) & in(e1,x5) & n_midair(x5) & Actor(e1,x1) & v_collide(e1) & on(x1,x3) & -(x3 = x4) & n_team(x3) & n_player(x1) & of(x1,x2) & n_soccer(x2) & card_eq_2(x1))
exists s1 x1 x2.(n_player(x1) & a_topic(s1) & subset_of(x2,s1) & n_head(x2) & subset_of(x1,s1))