Two soccer players on different teams collide in midair while jumping towards the ball.
The players are sitting on the sidelines.
One cannot be simultaneously sitting and colliding in midair at the same time.
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 e1 x1 x2.(n_sideline(x2) & n_player(x1) & on(e1,x2) & Actor(e1,x1) & v_sit(e1))