Text: Understanding the Program
Entailment: The program can be understood.
Contradiction: The program cannot be understood.