Premise: Thiokol ( variously Thiokol Chemical Corporation , Morton-Thiokol Inc. , Cordant Technologies Inc. , Thiokol Propulsion , AIC Group , ATK Thiokol ; finally ATK Launch Systems Group before becoming part of Orbital ATK ) was an American corporation concerned initially with rubber and related chemicals , and later with rocket and missile propulsion systems .
Hypothesis: Thiokol was also recognized as ATK Thiokol.
Label: ENTAILMENT