Assertion list for term "provided in pre-stipulated auction terms".
Results from Ascent++: 1
winning bidder (subgroup of bidder) → ReceivesAction → provided in pre-stipulated auction terms 0.43