Beyond the Hub, the Royal Mile is known as Lawnmarket.
"Lawnmarket" is another name for the Royal Mile.
mnli hypothesis: "Lawnmarket" is another name for the Royal Mile. premise: Beyond the Hub, the Royal Mile is known as Lawnmarket.