Assertion list
warhead (primary) → IsA
Results from Ascent++: 1
warhead → IsA → the most numerous nuclear explo… 0.25