Programs have been counting matters since July 1, 2001.
Matters have been counted by programs since 2001.
mnli hypothesis: Matters have been counted by programs since 2001. premise: Programs have been counting matters since July 1, 2001.