Assertion list
nucleus (aspect of tritium ) → HasProperty
Results from Ascent++: 3
nucleus → HasProperty → unstable 0.67
nucleus → HasProperty → stable 0.41
nucleus → HasProperty → small 0.25