Text: For all resources needed for installation, it is assumed that these resources are required over a 31-month period prior to 2005 and a three-year period prior to 2010, 2015, and 2020.
Entailment: We assume that the resources are required for installation.
Contradiction: We assume that the resources are required for elimination.