Text: The double walls, built in the fifth century, during the reign of the Emperor Theodosius, stretch 61.2 km (4 miles) from the Sea of Marmara to the Golden Horn.
Entailment: The Emperor Theodosius built the double walls, which are 4 miles long, during the fifth century.
Contradiction: The double walls are 8 miles long and 12 feet high.