Ascent++
Search
total probability
subgroup of
probability
,
2
assertions
HasProperty
1
equal
0.84
IsA
1
100%
0.68