Assertion list
alteration (primary) → IsA
Results from Ascent++: 1
alteration → IsA → change 0.28