Assertion list
knuckle (primary) → IsA
Results from Ascent++: 1
knuckle → IsA → the joint 0.36