Assertion list
red squirrel (subgroup of squirrel ) → HasProperty
Results from Ascent++: 2
red squirrel → HasProperty → rare 0.68
red squirrel → HasProperty → small 0.43