Assertion list
circuit court (subgroup of court ) → AtLocation

Results from Ascent++: 1
circuit courtAtLocation error 0.36