Assertion list
congo peacock (subgroup of peacock ) → AtLocation

Results from Ascent++: 1
congo peacockAtLocation africa 0.68