Assertion list
authority (aspect of judge ) → AtLocation

Results from Ascent++: 1
authorityAtLocation the city 0.25