Assertion list for term "pay actual amount of their bid".
Results from Ascent++: 1
winning bidder (subgroup of bidder) → CapableOf → pay actual amount of their bid 0.25