Text: He has been here, then?
Entailment: Has he been there?
Contradiction: He has never been there.