Assertion list for term "a hardness of 10".

Results from Ascent++: 1
diamond HasAa hardness of 10 0.38