Assertion list
major city (subgroup of city ) → HasProperty
Results from Ascent++: 4
major city → HasProperty → accessible 0.75
major city → HasProperty → vulnerable 0.25
major city → HasProperty → abundant 0.16
major city → HasProperty → close 0.16