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