Assertion list
ivory (primary) → AtLocation
Results from Ascent++: 1
ivory → AtLocation → tusk 0.25