Assertion list
nuclear bomb (subgroup of bomb ) → HasProperty
Results from Ascent++: 1
nuclear bomb → HasProperty → powerful 0.25