Assertion list
cluster sampling (subgroup of sample ) → HasProperty
Results from Ascent++: 1
cluster sampling → HasProperty → better than stratified sampling 0.25