Assertion list
random variable (subgroup of variable ) → HasProperty
Results from Ascent++: 2
random variable → HasProperty → independent 0.68
random variable → HasProperty → continuous 0.46