Assertion list
red footed tortoise (subgroup of tortoise ) → CapableOf
Results from Ascent++: 1
red footed tortoise → CapableOf → dig tortoise 0.68