Ascent++
Search
Assertion list
random sample
(
subgroup
of
sample
)
→ HasA
Results from
Ascent++
:
1
random sample
→
HasA
→
precise meaning
0.30