Assertion list
nest (aspect of robin ) → HasProperty
Results from Ascent++: 1
nest → HasProperty → empty 0.48