Assertion list
deflation (primary) → IsA
Results from Ascent++: 1
deflation → IsA → decrease 0.49