Assertion list
potential hazard (subgroup of hazard ) → CapableOf
Results from Ascent++: 1
potential hazard → CapableOf → minimize hazard 0.42