Premise: Henraques consolidated his position by defeating the Moors at the Battle of Ourique in 1139, and celebrated by naming himself the first king of Portugal.

Hypothesis: Henraques was the self-declared first king of Portugal. 
Relation: entailment