Assertion list
entire surface (subgroup of surface ) → HasProperty
Results from Ascent++: 3
entire surface → HasProperty → dry 0.32
entire surface → HasProperty → smooth 0.32
entire surface → HasProperty → shiny 0.16