Assertion list
nuclear warhead (subgroup of warhead ) → HasA
Results from Ascent++: 1
nuclear warhead → HasA → two essential characteristics 0.68