Assertion list
card counting (subgroup of count ) → IsA

Results from Ascent++: 1
card countingIsA strategy 0.68