Assertion list for term "buyer for excess costs".

Results from Ascent++: 1
seller CapableOfbuyer for excess costs 0.25