Claim: Thiokol was also known as anything except ATK Launch Systems Group.
Verdict: REFUTES