Premise: On the mainland, an invasion of even greater significance followed in 1580, when Philip II of Spain proclaimed himself king of Portugal and marched his armies across the border.

Hypothesis: Philip II of Spain invaded Portugal.
Relation: entailment