Assertion list for term "differ in hardness".

Results from Ascent++: 1
grade CapableOfdiffer in hardness 0.38