Text: Now a national park, this is the Herodium, a stupendous 91-m (300-ft) mountain with a fortress carved out of it by King Herod; it was once topped with his lavish palace, defensive towers, and battlements.
Entailment: His lavish palace and defensive towers were once topped the Herodium.
Contradiction: King Harald had a fortress carved out of this mountain and called it the Herodium.