Assertion list
astronomy (primary) → AtLocation
Results from Ascent++: 1
astronomy → AtLocation → stagnant state 0.25