Premise: there has that's right

Hypothesis: Yes that is correct.
Relation: entailment