Assertion list
sun bear (subgroup of bear ) → IsA
Results from Ascent++: 1
sun bear → IsA → the smallest bear species 0.42