Assertion list
baby sloth (subgroup of sloth ) → HasProperty
Results from Ascent++: 1
baby sloth → HasProperty → cute 0.59