Assertion list for term "cheaper than diamonds".

Results from Ascent++: 1
diamond IsAcheaper than diamonds 0.44