Assertion list
personal alarm (subgroup of alarm ) → HasProperty
Results from Ascent++: 1
personal alarm → HasProperty → handy 0.16