Assertion list
coastal region (subgroup of region ) → HasProperty
Results from Ascent++: 1
coastal region → HasProperty → vulnerable 0.16