Assertion list
stellar black hole (subgroup of black hole ) → IsA
Results from Ascent++: 1
stellar black hole → IsA → black hole 0.25