Assertion list
eye (aspect of shrimp ) → HasProperty
Results from Ascent++: 1
eye → HasProperty → shiny 0.68