Assertion list
heart failure (primary) → IsA

Results from Ascent++: 1
heart failureIsA progressive disease 0.41