Text: It was the first colonist, Juan Ponce de Leen, who, admiring a bay on the north coast, declared it Puerto Rico ( rich port ).
Entailment: Ponce de Leen named the area Puerto Rico.
Contradiction: Lindbergh was the first colonist who named the area.