Assertion list
arm (primary) → IsA
Results from Ascent++: 1
arm → IsA → appendage 0.27