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