Assertion list for term "maintained by the scorekeeper".

Results from Ascent++: 1
clock ReceivesActionmaintained by the scorekeeper 0.25