Assertion list
pruning saw (primary) → IsA
Results from Ascent++: 1
pruning saw → IsA → essential tool 0.16