Premise: He has been here, then?

Hypothesis: Has he been there?
Relation: entailment