Assertion list for term "made for public sale".

Results from Ascent++: 1
proof ReceivesActionmade for public sale 0.29