Assertion list
giant anteater (subgroup of anteater ) → HasProperty
Results from Ascent++: 1
giant anteater → HasProperty → terrestrial 0.81