Assertion list
fox squirrel (subgroup of squirrel ) → IsA
Results from Ascent++: 1
fox squirrel → IsA → the largest tree squirrel 0.42