Assertion list
exhaust (primary) → IsA
Results from Ascent++: 1
exhaust → IsA → system 0.16