Assertion list
grinding wheel (subgroup of wheel ) → IsA
Results from Ascent++: 2
grinding wheel → IsA → wheel 0.56
grinding wheel → IsA → expendable wheel 0.31