Assertion list
rock hyrax (primary) → AtLocation
Results from Ascent++: 1
rock hyrax → AtLocation → colony 0.25