A hockey goalie and two other players are in front of the goal, with the puck in the foreground.
The goalie and the two players were behind the goal.
The players can not be in front of the goal and simultaneously behind the goal.
exists p1 x1 x2 x3 x4 x5 x6 x7 x9.(n_foreground(x7) & n_puck(x6) & n_goal(x9) & n_player(x5) & with(p1,x6) & in(x6,x7) & exists x8.(in(x1,x8) & of(x8,x9) & n_front(x8)) & -(x4 = x5) & n_player(x4) & card_eq_2(x4) & n_goalie(x3) & subset_of(x4,x1) & subset_of(x3,x1) & of(x1,x2) & n_hockey(x2))
exists p1 x1 x2 x3 x4.(n_goal(x4) & n_player(x3) & card_eq_2(x3) & n_goalie(x2) & behind(x1,x4) & subset_of(x3,x1) & subset_of(x2,x1))