Assertion list
axle (primary) → IsA
Results from Ascent++: 2
axle → IsA → central shaft 0.49
axle → IsA → shaft 0.40