Assertion list
bleeding (primary) → IsA
Results from Ascent++: 1
bleeding → IsA → condition 0.25