Premise: Seeking the powerful support of the Franks, Pope Leo III crowned their king, Charlemagne, Emperor of the West on Christmas Day in 800.

Hypothesis: Charlemagne was crowned on Christmas Day.
Relation: entailment