Assertion list
heading (primary) → IsA
Results from Ascent++: 1
heading → IsA → line or hierarchical label 0.25