Top soccer players are soccer players who can use both the left foot and right foot very efficiently.
∀x (SoccerPlayer(x) ∧ UseEfficiently(x, leftFoot) ∧ UseEfficiently(x, rightFoot) → TopSoccerPlayer(x))