Assertion list
nest (aspect of wasp ) → HasA
Results from Ascent++: 1
nest → HasA → thousands of wasps 0.29