Text: The Royal Mile becomes Canongate where it intersects St. Mary's Street.
Entailment: Canongate begins at the intersection of St. Mary's Street and the Royal Mile.
Contradiction: The Royal Mile becomes Canongate a mile past St. Mary's Street.