Assertion list for term "polished surface".
Results from Ascent++: 1
mold → HasA → polished surface 0.34