Assertion list
toed sloth (subgroup of sloth ) → IsA
Results from Ascent++: 1
toed sloth → IsA → herbivore 0.25