Assertion list
nest (aspect of blue jay ) → HasProperty
Results from Ascent++: 1
nest → HasProperty → empty 0.68