Premise: But in turn the pope had to kneel in allegiance, and this exchange of spiritual blessing for military protection laid the seeds of future conflict between the papacy and secular rulers, compounded in 962 when Otto I was crowned Emperor of the newly formed Holy Roman Empire.

Hypothesis: Otto became the Emperor of the Holy Roman Empire in 962.
Relation: entailment