Given a premise, retrieve a hypothesis that is entailed by the 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 .
King Charlemagne had to kneel for his coronation in 800 AD.
The porphyry in the floor is colored blue.