Assertion list
code (primary) → IsA
Results from Ascent++: 1
code → IsA → system 0.40