Premise: Programs have been counting matters since July 1, 2001.

Hypothesis: Matters have been counted by programs since 2001.
Relation: entailment