Premise: Termination
Hypothesis: Ending. 
Label: entailment