Assertion list
heading (primary) → UsedFor
Results from Ascent++: 2
heading → UsedFor → work 0.34
heading → UsedFor → the creations of headings 0.29