Assertion list
boundary (primary) → AtLocation
Results from Ascent++: 1
boundary → AtLocation → dispute 0.58