Assertion list
smooth skin (subgroup of skin ) → HasProperty
Results from Ascent++: 1
smooth skin → HasProperty → free 0.59