Assertion list
african penguin (subgroup of penguin ) → AtLocation
Results from Ascent++: 1
african penguin → AtLocation → colony 0.25