Premise: Cristiano Ronaldo . In 2015 , Ronaldo became the all-time top goalscorer in the UEFA Champions League , and he also became Real Madrid 's all-time leading goalscorer .
Hypothesis: Cristiano Ronaldo is Manchester City's highest goalscorer.
Label: NEUTRAL