Assertion list
galapagos tortoise (subgroup of tortoise ) → CapableOf
Results from Ascent++: 1
galapagos tortoise → CapableOf → weigh over 500 lb 0.68