Assertion list for term "equal cross-sectional size".
Results from Ascent++: 1
groove → HasA → equal cross-sectional size 0.25