Text: The entrance path leads past the ticket desk to a shady tea-garden outside the main portal, which is surrounded by architectural frag?Ϳέents from the fifth-century church built by Theodosius; an excavated area to the left of the door reveals a part of this earlier building.
Entailment: Ruins of the fifth-century church surround the tea-garden.
Contradiction: Nothing remains of the church that Theodosius built in the fifth century.