Assertion list
hydrogen bomb (subgroup of bomb ) → HasProperty
Results from Ascent++: 1
hydrogen bomb → HasProperty → more powerful 0.68