Premise: Nominally these kingdoms acknowledged an elected High King, with his seat at fabled Tara, as overlord.

Hypothesis: The overlord of the kingdoms was the High King, who was elected.
Relation: entailment