Assertion list
relativity (primary) → AtLocation
Results from Ascent++: 1
relativity → AtLocation → post 0.25