Assertion list
eye (aspect of fish ) → HasA
Results from Ascent++: 1
eye → HasA → a barrel shape 0.25