Premise: Programs

Hypothesis: Projects
Relation: entailment