Assertion list for term "set in the closing state".

Results from Ascent++: 1
sided die (subgroup of die) ReceivesActionset in the closing state 0.68