Assertion list
decay (primary) → IsA
Results from Ascent++: 1
decay → IsA → process 0.33