Assertion list
plaza (primary) → AtLocation
Results from Ascent++: 2
plaza → AtLocation → the afca facility 0.39
plaza → AtLocation → the city 0.16