Assertion list
asiatic cheetah (subgroup of cheetah ) → HasProperty
Results from Ascent++: 1
asiatic cheetah → HasProperty → extinct 0.59