Premise: programs that have addressed the same concern.

Hypothesis: Programs addressed the concern.
Relation: entailment