Assertion list
nuclear weapon (subgroup of weapon ) → HasA
Results from Ascent++: 1
nuclear weapon → HasA → explosive power of 100 kt 0.45