Assertion list
nest (aspect of heron ) → HasProperty
Results from Ascent++: 3
nest → HasProperty → large 0.52
nest → HasProperty → empty 0.38
nest → HasProperty → visible 0.38