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.