Premise: 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.

Hypothesis: His lavish palace and defensive towers were once topped the Herodium.
Relation: entailment