Assertion list
positive ion (subgroup of ion ) → HasProperty

Results from Ascent++: 1
positive ionHasProperty harmful 0.34