Assertion list for term "cylindrical outer surface".
Results from Ascent++: 1
wire → HasA → cylindrical outer surface 0.45