Given a premise, retrieve a hypothesis that is entailed by the premise.The Royal Mile becomes Canongate where it intersects St. Mary's Street.
Canongate begins at the intersection of St. Mary's Street and the Royal Mile.
The Royal Mile becomes Canongate a mile past St. Mary's Street.