Assertion list
large urban area (subgroup of urban area ) → HasProperty

Results from Ascent++: 1
large urban areaHasProperty unparished 0.81