Assertion list
tamarind (primary) → AtLocation
Results from Ascent++: 1
tamarind → AtLocation → uroa 0.25