Assertion list for term "cut the diamond".

Results from Ascent++: 1
cutter CapableOfcut the diamond 0.42