Assertion list
assertion (primary) → IsA
Results from Ascent++: 1
assertion → IsA → declaration 0.25