Assertion list
congressional district (subgroup of district ) → HasA
Results from Ascent++: 1
congressional district → HasA → equal population 0.25