Text: The barrel-vaulted chambers were discovered while excavating for a nearby housing project.
Entailment: Excavations were taking place for a nearby housing project.
Contradiction: The barrel-vaulted chambers had been discovered years before.