Assertion list for term "announce buyer number".

Results from Ascent++: 1
auctioneer CapableOfannounce buyer number 0.25