Assertion list
nest (aspect of goose ) → ReceivesAction
Results from Ascent++: 1
nest → ReceivesAction → destroyed 0.59