Assertion list
koala (primary) → AtLocation
Results from Ascent++: 2
koala → AtLocation → tree 0.57
koala → AtLocation → one place 0.25