Assertion list for term "give numbered paddle".

Results from Ascent++: 1
auctioneer CapableOfgive numbered paddle 0.25