Assertion list
hart (primary) → AtLocation
Results from Ascent++: 2
hart → AtLocation → contention 0.25
hart → AtLocation → los angeles 0.25