Text: The village of Porto da Cruz, 6 km (4 miles) north, lies in the shadow of the rock.
Entailment: Porto da Cruz is located in the shadow of the rock.
Contradiction: Porto da Cruz is located on top of the rock.