Assertion list for term "a bit profile".
Results from Ascent++: 1
drill bit → HasA → a bit profile 0.25