Assertion list
sided die (subgroup of die ) → ReceivesAction

Results from Ascent++: 1
sided dieReceivesAction set in the closing state 0.68