Assertion list
nuclear bomb (subgroup of bomb ) → CapableOf
Results from Ascent++: 1
nuclear bomb → CapableOf → darken the sun 0.47