Assertion list for term "reduced shank".
Results from Ascent++: 1
bit → HasA → reduced shank 0.25