History: Reduced logical form: Step 6

text has been so far reduced to:

subsentence = sentence | prenex subsentence
prenex = terms ZOhU #
sentence = [[terms [[CU #]] bridi-tail
bridi-tail = selbri tail-terms | gek-sentence
gek-sentence = gek subsentence gik subsentence tail-terms
| [tag] KE # gek-sentence /KEhE#/
| NA # gek-sentence
tail-terms = [terms] /VAU#/

Still to do:

1. Expand logically connected terms into gek-sentences
2. Absorb common tail-terms into each gek-sentence
3. Absorb common pre-selbri terms into each gek-sentence
4. Export quantifiers and negations to the prenex