Assertion list
sampling distribution (subgroup of distribution ) → HasProperty

Results from Ascent++: 1
sampling distributionHasProperty normal 0.68