Assertion list
random sample (subgroup of sample ) → HasA

Results from Ascent++: 1
random sampleHasA precise meaning 0.30