The Royal Mile becomes Canongate where it intersects St. Mary's Street.
Canongate is longer than the Royal Mile.
mnli hypothesis: Canongate is longer than the Royal Mile. premise: The Royal Mile becomes Canongate where it intersects St. Mary's Street.