Text: 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.
Entailment: Henraques was the self-declared first king of Portugal.
Contradiction: Henraques faced fierce opposition when he appointed himself king.