Assertion list for term "required for renewal".

Results from Ascent++: 1
proof ReceivesActionrequired for renewal 0.09