Assertion list
south (primary) → DefinedAs
Results from Ascent++: 1
south → DefinedAs → including the states 0.30