Assertion list
garter snake (subgroup of snake ) → HasProperty
Results from Ascent++: 2
garter snake → HasProperty → active 0.81
garter snake → HasProperty → harmless 0.81