Text: Was Dorcas there, then?
Entailment: Was Dorcas present there?
Contradiction: Was John present there