Premise: Precisely.

Hypothesis: Exactly.
Relation: entailment