Assertion list
eye (aspect of dog ) → AtLocation
Results from Ascent++: 2
eye → AtLocation → every place 0.25
eye → AtLocation → stake 0.25