Men on a field all wearing uniforms and competing against each other in a game.
They are playing football.
Not all games are football.
(all x7 x6 x5.(((x5 = x6) & on(x6,x7) & n_field(x7) & n_man(x6)) -> exists e2 x8.(in(e2,x8) & n_game(x8) & all x9.(n_other(x9) -> against(e2,x9)) & Actor(e2,x5) & v_compete(e2))) & all x1 x3 x2.(((x1 = x2) & on(x2,x3) & n_field(x3) & n_man(x2)) -> exists e1 x4.(Theme(e1,x4) & Actor(e1,x1) & v_wear(e1) & n_uniform(x4))))
exists e1 x1 x2.(n_thing(x1) & Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_football(x2))