Assertion list
nest (aspect of stork ) → HasProperty
Results from Ascent++: 1
nest → HasProperty → large 0.71