Assertion list
total probability (subgroup of probability ) → IsA
Results from Ascent++: 1
total probability → IsA → 100% 0.68