Assertion list
limb (primary) → IsA
Results from Ascent++: 1
limb → IsA → the part 0.28