Assertion list
correction (primary) → IsA
Results from Ascent++: 1
correction → IsA → amendment 0.25