Assertion list
district (primary) → IsA
Results from Ascent++: 1
district → IsA → under state control 0.50