Assertion list
wasp nest (subgroup of nest ) → HasProperty
Results from Ascent++: 2
wasp nest → HasProperty → active 0.55
wasp nest → HasProperty → large 0.25