Assertion list for term "stop restart in the event of an injury".

Results from Ascent++: 1
clock CapableOfstop restart in the event of an injury 0.25