Assertion list
milk snake (subgroup of snake ) → HasProperty
Results from Ascent++: 1
milk snake → HasProperty → harmless 0.68