Assertion list
russian tortoise (subgroup of tortoise ) → HasProperty
Results from Ascent++: 1
russian tortoise → HasProperty → popular 0.59