Assertion list for term "at least one groove".
Results from Ascent++: 1
cylinder → HasA → at least one groove 0.28