The road north heads inland after Machico.
The road ends just before it reaches Machico.
mnli hypothesis: The road ends just before it reaches Machico. premise: The road north heads inland after Machico.