Assertion list
si joint (subgroup of joint ) → IsA

Results from Ascent++: 1
si jointIsA synovial joint 0.35