Premise: Charlemagne . Charlemagne reached the height of his power in 800 when he was crowned Emperor of the Romans by Pope Leo III on Christmas Day at Old St. Peter 's Basilica .
Hypothesis: Charlemagne was crowned.
Label: ENTAILMENT