Assertion list
potential risk (subgroup of risk ) → HasProperty
Results from Ascent++: 2
potential risk → HasProperty → low 0.33
potential risk → HasProperty → high 0.25