Assertion list
neutron bomb (primary) → IsA
Results from Ascent++: 1
neutron bomb → IsA → nuclear bomb 0.25