Assertion list
polished granite (subgroup of granite ) → IsA

Results from Ascent++: 1
polished graniteIsA popular choice 0.59