Premise: Set in the floor by the central door is the large round slab of red porphyry where King Charlemagne knelt for his coronation as emperor in the year 800 .

Hypothesis: King Charlemagne had to kneel for his coronation in 800 AD.
Relation: entailment