Assertion list for term "produce the codeword".

Results from Ascent++: 1
bit CapableOfproduce the codeword 0.30