Premise: Precisely.

Hypothesis: Absolutely.
Relation: entailment