Adam Buska plays what Americans call soccer.
Adam Buska is a European football player. If a European plays football, they play what Americans call soccer.
FootballPlayer(adambuska) ∧ European(adambuska) ∀x ((FootballPlayer(x) ∧ European(x)) → PlaysAmericanSoccer(x))