History: Reduced logical form: Step 7

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#/
terms = term ...
term = sumti
| (tag | FA #) (sumti | /KU#/)
| NUhI # gek terms /NUhU#/ gik terms /NUhU#/
| NA KU #
sumti = sumti-6 [relative-clauses]
| quantifier KOhA1 xi number [relative-clauses]
| gek sumti gik sumti
selbri = tag selbri-1
selbri-1 = selbri-6 | NA # selbri

(Where selbri-6 is an untagged/unnegated selbri, sumti-6 is an unquantified sumti.)

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