Assertion list
sound (aspect of banjo ) → ReceivesAction
Results from Ascent++: 1
sound → ReceivesAction → produced 0.25