Assertion list for term "pay the second highest bid".
Results from Ascent++: 1
winning bidder (subgroup of bidder) → CapableOf → pay the second highest bid 0.38