Assertion list
wasp nest (subgroup of nest ) → ReceivesAction
Results from Ascent++: 3
wasp nest → ReceivesAction → treated 0.68
wasp nest → ReceivesAction → removed 0.62
wasp nest → ReceivesAction → built 0.38