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