Assertion list
catastrophic health insurance (subgroup of health insurance ) → IsA
Results from Ascent++: 1
catastrophic health insurance → IsA → good alternative 0.25