Premise: Program Evaluation at

Hypothesis: Program evaluation 
Relation: entailment