Assertion list
barbary lion (subgroup of lion ) → HasProperty
Results from Ascent++: 1
barbary lion → HasProperty → extinct 0.68