Premise: From Grassmarket, a road runs parallel to the Royal Mile to Holyrood on a lower level.

Hypothesis: The road runs to the upper level of Holyrood.
Relation: contradiction