there are two pro hockey teams going against each other in a arena.
Two hockey teams are competing against one another.
Hockey teams could be pros.  Going against and competing against could mean the same thing.
exists p1 x1 e1 s1 x2 x3 x4 x5.((x1 = x2) & in(e1,x5) & n_arena(x5) & all x6.(n_other(x6) -> against(e1,x6)) & Actor(e1,x4) & v_go(e1) & (x2 = x4) & n_team(x2) & of(x2,x3) & n_hockey(x3) & a_pro(s1) & Theme(s1,x2) & card_eq_2(x2))
exists e1 s1 x1 x2 x3.(against(e1,x3) & n_thing(x3) & card_eq_1(x3) & a_another(s1) & Theme(s1,x3) & Actor(e1,x1) & v_compete(e1) & n_team(x1) & of(x1,x2) & n_hockey(x2) & card_eq_2(x1))