Assertion list
snare (primary) → AtLocation
Results from Ascent++: 1
snare → AtLocation → the way of the froward 0.25