Assertion list
monotreme (primary) → AtLocation
Results from Ascent++: 1
monotreme → AtLocation → australia 0.25