Premise: In 1239, there was the procession of Louis IX, barefoot, carrying his holy treasure, Jesus's Crown of Thorns (now in the Sainte-Chapelle); in 1430, it saw the humiliation of Henry VI of England (he was crowned King of France here; see page 15).

Hypothesis: The procession of Louix IX was here in 1239.
Relation: entailment