Assertion list for term "upper and lower circumferential extensions".
Results from Ascent++: 1
rotor → HasA → upper and lower circumferential extensions 0.25