Assertion list
bore (primary) → IsA
Results from Ascent++: 1
bore → IsA → the diameter of the cylinder 0.25