Text: 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 .
Entailment: King Charlemagne had to kneel for his coronation in 800 AD.
Contradiction: The porphyry in the floor is colored blue.