Premise: The Hardknott Castle Roman Fort, called Mediobogdum by its builders, sits on a shelf near the summit of the pass.

Hypothesis: The Mediobogdum, also known as the Hardknott Castle Roman Fort, is near the peak of the pass.
Relation: entailment