Assertion list
total probability (subgroup of probability ) → HasProperty
Results from Ascent++: 1
total probability → HasProperty → equal 0.84