Assertion list
normal distribution (subgroup of distribution ) → HasA
Results from Ascent++: 1
normal distribution → HasA → same mean 0.25