Text: The Hardknott Castle Roman Fort, called Mediobogdum by its builders, sits on a shelf near the summit of the pass.
Entailment: The Mediobogdum, also known as the Hardknott Castle Roman Fort, is near the peak of the pass.
Contradiction: The Mediobogdum is situated in the bottom of the mountain.