Premise: Program Evaluation at
Hypothesis: Program evaluation 
Label: entailment