Assertion list
sumatran rhino (subgroup of rhino ) → IsA
Results from Ascent++: 1
sumatran rhino → IsA → the smallest rhino 0.25