Assertion list
corruption (primary) → IsA
Results from Ascent++: 1
corruption → IsA → one thing 0.23