Assertion list for term "form heavier nuclei".

Results from Ascent++: 1
nucleus CapableOfform heavier nuclei 0.25