Text: La Granja de San Ildefonso, about 10 km (6 miles) southeast of Segovia (80 km or 50 miles north of Madrid), is a huge palace set in classic formal gardens.
Entailment: La Granja de San Ildefonso is a huge palace with classic gardens.
Contradiction: La Granja de San Ildefonso no longer exists, sadly.