Premise: Exactly.

Hypothesis: Precisely 
Relation: entailment