Assertion list
card counting (subgroup of count ) → HasProperty
Results from Ascent++: 3
card counting → HasProperty → illegal 0.25
card counting → HasProperty → effective 0.16
card counting → HasProperty → hard 0.16