Assertion list
scheme (primary) → IsA
Results from Ascent++: 1
scheme → IsA → plan 0.62