Text: 500 until around a.d. 800).
Entailment: It lasted until 800 AD.
Contradiction: The city didn't exist in 800 AD.