Assertion list
win (primary) → IsA
Results from Ascent++: 1
win → IsA → victory 0.34