Text: The town's High Street stretched beneath the castle along the ridge to the east (today the Royal Mile), past the parish church of St. Giles, and out to the Netherbow, where Edinburgh ended and Canongate began.
Entailment: The High Street stretches past the church of St. Giles.
Contradiction: The High Street stretches above the castle along the ridge to the west.