Premise: Mieszko's son Boleslaw The Brave was crowned by Otto III, the Holy Roman Emperor.

Hypothesis: Otto III was a historic the Holy Roman Emperor.
Relation: entailment