Assertion list
random variable (subgroup of variable ) → IsA
Results from Ascent++: 1
random variable → IsA → gamma random variable 0.25