Assertion list for term "pursue any combination of aand b".

Results from Ascent++: 1
auctioneer CapableOfpursue any combination of aand b 0.25