Premise: Measuring the Degree of Program Implementation.
Hypothesis: Measure degree of program implementation 
Label: entailment