Mieszko's son Boleslaw The Brave was crowned by Otto III, the Holy Roman Emperor.
Otto III was a historic the Holy Roman Emperor.
mnli hypothesis: Otto III was a historic the Holy Roman Emperor. premise: Mieszko's son Boleslaw The Brave was crowned by Otto III, the Holy Roman Emperor.