Assertion list
eye (aspect of turtle ) → HasProperty
Results from Ascent++: 4
eye → HasProperty → open 0.57
eye → HasProperty → red 0.51
eye → HasProperty → large 0.25
eye → HasProperty → clear 0.16