Assertion list
astronomy (primary) → AtLocation

Results from Ascent++: 1
astronomyAtLocation stagnant state 0.25