Assertion list
state court (subgroup of court ) → AtLocation
Results from Ascent++: 1
state court → AtLocation → league 0.26