Assertion list
spin (primary) → AtLocation
Results from Ascent++: 2
spin → AtLocation → phase 0.52
spin → AtLocation → the e6 0.25