Assertion list
baby koala (subgroup of koala ) → IsA
Results from Ascent++: 1
baby koala → IsA → earless 0.16