Assertion list
spy (primary) → IsA
Results from Ascent++: 1
spy → IsA → double agent 0.34