Assertion list
figurine (primary) → AtLocation
Results from Ascent++: 2
figurine → AtLocation → eridu 0.25
figurine → AtLocation → ur 0.25