Assertion list
wild alligator (subgroup of alligator ) → CapableOf
Results from Ascent++: 1
wild alligator → CapableOf → weigh 600 pounds 0.81