Assertion list
giant tortoise (subgroup of tortoise ) → HasProperty
Results from Ascent++: 1
giant tortoise → HasProperty → extinct 0.68