Assertion list
rat snake (subgroup of snake ) → HasProperty
Results from Ascent++: 2
rat snake → HasProperty → diurnal 0.25
rat snake → HasProperty → good 0.16