Assertion list
saber (primary) → IsA
Results from Ascent++: 1
saber → IsA → sword 0.25