Premise: The island's highest peak, at 517 m (695 ft), is Pico do Facho, situated around 1.5 km (1 mile) due north of Portela.

Hypothesis: Pico do Facho is located north of Portela and is the island's highest mountain.
Relation: entailment