Assertion list
supreme court (subgroup of court ) → AtLocation
Results from Ascent++: 1
supreme court → AtLocation → recess 0.32