Premise: The terms used in this manual are as
Hypothesis: The manual uses these terms 
Label: entailment