Assertion list
coral snake (subgroup of snake ) → HasA
Results from Ascent++: 2
coral snake → HasA → black nose 0.52
coral snake → HasA → red bands 0.51