Assertion list
arctic fox (subgroup of fox ) → IsA
Results from Ascent++: 1
arctic fox → IsA → small fox 0.35