Text: International Space Station Propulsion Module Procurement Process, GAO-01-576R, April 26, 2001.
Entailment: The process for procuring a propulsion module.
Contradiction: The process was detailed in December 2010.