Assertion list
dead zone (subgroup of zone ) → HasProperty
Results from Ascent++: 2
dead zone → HasProperty → smaller 0.68
dead zone → HasProperty → larger 0.25