Assertion list for term "first hardness".

Results from Ascent++: 1
outer surface (subgroup of surface) HasAfirst hardness 0.25