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