Cristiano Ronaldo is a top soccer player.
Soccer players have a right foot and a left foot. Top soccer players are soccer players who can use their both feet very efficiently. If a soccer player can score many goals using left foot, then they can use that foot very efficiently. If a soccer player can score many goals using right foot, then they can use that foot very efficiently. Cristiano Ronaldo is a soccer player. Cristiano Ronaldo can use his right foot very efficiently. Cristiano Ronaldo have scored more than one hundred goals using his left foot.
∀x (SoccerPlayer(x) → HasLeftFoot(x) ∧ HasRightFoot(x)) ∀x (SoccerPlayer(x) ∧ Efficient(x, left) ∧ Efficient(x, right) → Top(x)) ∀x (SoccerPlayer(x) ∧ ScoreManyGoals(x, left) → Efficient(x, left)) ∀x (SoccerPlayer(x) ∧ ScoreManyGoals(x, right) → Efficient(x, right)) SoccerPlayer(ronaldo) Efficient(ronaldo, right) ScoreManyGoals(ronaldo, left)