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. 
Label: entailment