Premise: The village of Porto da Cruz, 6 km (4 miles) north, lies in the shadow of the rock.

Hypothesis: Porto da Cruz is located in the shadow of the rock.
Relation: entailment