Assertion list
color (aspect of copperhead ) → HasProperty
Results from Ascent++: 1
color → HasProperty → variable 0.68