Assertion list
black rhino (subgroup of rhino ) → AtLocation
Results from Ascent++: 1
black rhino → AtLocation → africa 0.25