Assertion list
outline (primary) → IsA
Results from Ascent++: 4
outline → IsA → plan 0.50
outline → IsA → summary 0.41
outline → IsA → simple plan 0.38
outline → IsA → overall plan of the material 0.29