Assertion list for term "set forth in stats".

Results from Ascent++: 1
proof ReceivesActionset forth in stats 0.27