Assertion list
intuition (primary) → IsA
Results from Ascent++: 1
intuition → IsA → process 0.53