Premise: Orbital ATK Inc. is an American aerospace manufacturer and defense industry company . 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 became part of Orbital ATK and it was American.
Label: ENTAILMENT