Assertion list
random variable (subgroup of variable ) → HasA
Results from Ascent++: 1
random variable → HasA → same distribution 0.41