Assertion list
atomic bomb (subgroup of bomb ) → HasProperty
Results from Ascent++: 2
atomic bomb → HasProperty → necessary 0.34
atomic bomb → HasProperty → effective 0.25