Assertion list for term "hard material".

Results from Ascent++: 1
concrete IsAhard material 0.36