Premise: Cristiano Ronaldo . Ronaldo made his international debut for Portugal in August 2003 , at the age of 18 .
Hypothesis: Cristiano Ronaldo plays in international football.
Label: ENTAILMENT