Assertion list
hardening (primary) → IsA
Results from Ascent++: 1
hardening → IsA → process 0.68