Assertion list
visual system (primary) → AtLocation
Results from Ascent++: 1
visual system → AtLocation → fixed state of adaptation 0.25