Assertion list
grinding wheel (subgroup of wheel ) → HasA
Results from Ascent++: 1
grinding wheel → HasA → abrasive grains 0.25