Two hockey players are fighting with a referee watches.
The referee watches as the hockey player rights each other.
It has already been stated that the referee watches while the players are fighting.
exists e1 e2 x1 x2 x3 x4.(with(e1,x3) & Actor(e2,x4) & v_watch(e2) & (x3 = x4) & n_referee(x3) & Actor(e1,x1) & v_fight(e1) & n_player(x1) & of(x1,x2) & n_hockey(x2) & card_eq_2(x1))
exists x2 x3 x4 x5.(n_rights(x3) & of(x3,x5) & n_player(x5) & of(x3,x4) & n_hockey(x4) & n_referee(x2) & all x1.(n_other(x1) -> exists e1.(Time(e1,x1) & as(e1,x3) & Actor(e1,x2) & v_watch(e1))))