Premise: A test that uses a representative set of programs and

Hypothesis: A representative program is used by the test.
Relation: entailment