Assertion list
eye (aspect of octopus ) → HasProperty
Results from Ascent++: 3
eye → HasProperty → open 0.68
eye → HasProperty → visible 0.68
eye → HasProperty → big 0.59