Assertion list
freshwater turtle (subgroup of turtle ) → HasProperty

Results from Ascent++: 1
freshwater turtleHasProperty smaller 0.68