Assertion list
isotope (aspect of astatine ) → HasProperty
Results from Ascent++: 1
isotope → HasProperty → radioactive 0.75