Assertion list
color (aspect of goldfish ) → HasProperty
Results from Ascent++: 1
color → HasProperty → possible 0.84