Assertion list for term "horizontal grooves".
Results from Ascent++: 1
disc → HasA → horizontal grooves 0.30