Assertion list
white squirrel (subgroup of squirrel ) → IsA
Results from Ascent++: 1
white squirrel → IsA → albino 0.71