Assertion list
entire surface (subgroup of surface ) → IsA
Results from Ascent++: 2
entire surface → IsA → same age 0.32
entire surface → IsA → roughened by spiked tool 0.25