Assertion list
mountain zebra (subgroup of zebra ) → AtLocation
Results from Ascent++: 1
mountain zebra → AtLocation → namibia 0.77