Premise: Defined more specifically in SFFAS No.
Hypothesis: Defined in SFFAS 
Label: entailment