Assertion list
eye (aspect of cat ) → HasA
Results from Ascent++: 4
eye → HasA → different colors 0.34
eye → HasA → cataract 0.16
eye → HasA → sunken-in appearance 0.16
eye → HasA → the power 0.16