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