Assertion list
snare (primary) → IsA
Results from Ascent++: 1
snare → IsA → trap 0.49