Assertion list
acetabulum (primary) → IsA
Results from Ascent++: 1
acetabulum → IsA → the socket 0.34