Assertion list
eye (aspect of pup ) → HasA
Results from Ascent++: 1
eye → HasA → black patches 0.41