Assertion list
random variable (subgroup of variable ) → CapableOf
Results from Ascent++: 1
random variable → CapableOf → take value 0.41