Premise: It was the first colonist, Juan Ponce de Leen, who, admiring a bay on the north coast, declared it Puerto Rico ( rich port ).

Hypothesis: Ponce de Leen named the area Puerto Rico.
Relation: entailment