Assertion list
hazard (primary) → HasA
Results from Ascent++: 2
hazard → HasA → consequence 0.47
hazard → HasA → 12 goals 0.25