Assertion list
health condition (subgroup of condition ) → IsA

Results from Ascent++: 1
health conditionIsA diabetes 0.23