Assertion list
statistical ensemble (subgroup of ensemble ) → IsA
Results from Ascent++: 1
statistical ensemble → IsA → a probability distribution 0.68