Assertion list for term "harder than corundum".

Results from Ascent++: 1
diamond HasPropertyharder than corundum 0.24