Assertion list
natural granite (subgroup of granite ) → HasProperty
Results from Ascent++: 1
natural granite → HasProperty → beautiful 0.16