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