Two hockey players playing offense and defense.
Two people are playing hockey.
Two hockey players are two people, and playing hockey implies playing offense and defense.
exists e1 x1 x2 x3 x4 x5 x6.(a_topic(x1) & Theme(e1,x4) & Actor(e1,x3) & v_play(e1) & n_defense(x6) & n_offense(x5) & subset_of(x6,x4) & subset_of(x5,x4) & (x1 = x3) & n_player(x1) & of(x1,x2) & n_hockey(x2) & card_eq_2(x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_hockey(x2) & n_people(x1) & card_eq_2(x1))