Assertion list for term "sufficient to establish eligibility".

Results from Ascent++: 1
proof ReceivesActionsufficient to establish eligibility 0.25