Assertion list
nest (aspect of osprey ) → HasProperty
Results from Ascent++: 4
nest → HasProperty → empty 0.75
nest → HasProperty → active 0.59
nest → HasProperty → large 0.46
nest → HasProperty → successful 0.15