Assertion list
nest (aspect of squirrel ) → HasProperty
Results from Ascent++: 3
nest → HasProperty → empty 0.28
nest → HasProperty → high 0.28
nest → HasProperty → intact 0.28