From Grassmarket, a road runs parallel to the Royal Mile to Holyrood on a lower level.
The road runs to the upper level of Holyrood.
mnli hypothesis: The road runs to the upper level of Holyrood. premise: From Grassmarket, a road runs parallel to the Royal Mile to Holyrood on a lower level.