Assertion list
long beep (subgroup of beep ) → ReceivesAction
Results from Ascent++: 1
long beep → ReceivesAction → heard 0.68