Assertion list
eye (primary) → AtLocation
Results from Ascent++: 2
eye → AtLocation → every place 0.44
eye → AtLocation → maximum deviation 0.41