Assertion list
southern region (subgroup of region ) → HasProperty

Results from Ascent++: 1
southern regionHasProperty more mountainous 0.68