Text: A test that uses a representative set of programs and
Entailment: A representative program is used by the test.
Contradiction: The test doesn't require using a representative set of programs.