Premise: Understanding the Program

Hypothesis: The program can be understood.
Relation: entailment