Assertion list
deficit (primary) → AtLocation
Results from Ascent++: 2
deficit → AtLocation → part 0.50
deficit → AtLocation → the provinces of the south 0.25