Assertion list
body (aspect of squirrel ) → HasProperty
Results from Ascent++: 1
body → HasProperty → slender 0.68