Assertion list for term "reduce toward inner circumferential side".
Results from Ascent++: 1
width → CapableOf → reduce toward inner circumferential side 0.25