A football game.
There is a sporting event.
A football game is a type of sporting event.
exists x1 x2.(a_topic(x1) & n_game(x1) & of(x1,x2) & n_football(x2))
exists p1 x1 e1 x2.((x1 = x2) & n_event(x2) & Actor(e1,x2) & v_sport(e1))