Assertion list
potential hazard (subgroup of hazard ) → HasProperty
Results from Ascent++: 1
potential hazard → HasProperty → inherent 0.37