Assertion list
fusion (primary) → IsA
Results from Ascent++: 2
fusion → IsA → the process 0.63
fusion → IsA → same process 0.36