Assertion list for term "expensive diamonds".

Results from Ascent++: 1
diamond IsAexpensive diamonds 0.34