Assertion list for term "start on the referee's signal".

Results from Ascent++: 1
clock CapableOfstart on the referee's signal 0.25