Claim: Thiokol was also known as ATK Thiokol.
Label: SUPPORTS