Assertion: trident's missile | /r/HasProperty | designated the a3tk
Facets:
Source sentences:
text: Later an update of the Polaris missile force, known as the Chevaline program, was carried out with the modified missiles being re-designated the A3TK.