Assertion list
african lion (subgroup of lion ) → IsA
Results from Ascent++: 1
african lion → IsA → specie 0.25