Assertion: kingdom's king | /r/HasProperty | henry i
Facets:
Source sentences:
text: It is here and elsewhere that Otto distinguishes the first German king (Henry I) and the first German king to hold imperial power (Otto I).