Assertion list
horned rhino (subgroup of rhino ) → AtLocation
Results from Ascent++: 1
horned rhino → AtLocation → assam 0.81