Assertion list
spotted skunk (subgroup of skunk ) → HasProperty
Results from Ascent++: 1
spotted skunk → HasProperty → smaller 0.68