length (90B)
1 # Length 2 3 The number of [letters] of a [word] 4 5 Generalization: [Parikh_image] 6 7 Up: [word]