Assertion list
teacup (primary) → ReceivesAction
Results from Ascent++: 2
teacup → ReceivesAction → made 0.54
teacup → ReceivesAction → decorated en suite 0.45