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