Assertion list for term "subject to sale with the proceeds".

Results from Ascent++: 1
auction ReceivesActionsubject to sale with the proceeds 0.25