Assertion list
random sample (subgroup of sample ) → HasProperty
Results from Ascent++: 1
random sample → HasProperty → representative 0.25