Assertion list
baby elephant (subgroup of elephant ) → AtLocation
Results from Ascent++: 1
baby elephant → AtLocation → the wild 0.35