Assertion list
baby koala (subgroup of koala ) → HasProperty
Results from Ascent++: 2
baby koala → HasProperty → blind 0.27
baby koala → HasProperty → hairless 0.16