User blog comment:KthulhuHimself/Library Function/@comment-1605058-20151110165234

I can't make pretty much any sense of the "Logical format" section.

What does "witnessing" an L-system mean?

What sections?

What "segments"?

What definition?

And what does it have to do with natural languages?