Assertion list
ball bearing (primary) → IsA
Results from Ascent++: 1
ball bearing → IsA → a rolling-element bearing 0.39