Assertion list for term "required for a period of five years".

Results from Ascent++: 1
proof ReceivesActionrequired for a period of five years 0.25