A hockey goalie and two other players are in front of the goal, with the puck in the foreground.
A hockey goalie and two other players are in front of the goal smoking pot while looking at the puck in the foreground.
Hockey goalies cannot smoke pot in front of the hockey 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 e1 p1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(n_foreground(x9) & n_puck(x8) & n_goal(x7) & n_player(x5) & while(p1,e1) & at(e1,x8) & in(x8,x9) & Actor(e1,x1) & v_look(e1) & in(p1,x6) & of(x6,x7) & n_front(x6) & exists x10 x11.((x1 = x10) & n_pot(x10) & of(x10,x11) & n_smoking(x11)) & -(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))