Assertion list for term "repaired in the course of their lifetime".

Results from Ascent++: 1
clock ReceivesActionrepaired in the course of their lifetime 0.41