Assertion list
decrease (primary) → IsA
Results from Ascent++: 1
decrease → IsA → process 0.25