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