Assertion list
free proton (subgroup of proton ) → HasProperty
Results from Ascent++: 1
free proton → HasProperty → stable 0.68