Assertion list
fox squirrel (subgroup of squirrel ) → HasProperty
Results from Ascent++: 1
fox squirrel → HasProperty → most active 0.25