Assertion: auction's bid | /r/HasProperty | listed in decreasing order b 1 ≥
Facets:
Source sentences:
text: Then, assuming the bids are listed in decreasing order b 1 ≥ b 2 ≥
text: Then, assuming the bids are listed in decreasing order b 1 ≥ b 2 ≥