History: Reduced logical form: Step 8

Source of version: 1 (current)

subsentence = sentence | prenex subsentence prenex = terms ZOhU # sentence = ([[FA] KOhA) ... bridi-tail bridi-tail = selbri tail-terms | gek-sentence selbri = [[tag] [[NA [[tag]] ... selbri-6 For each sentence, if the ''bridi-tail'' is ''selbri tail-terms'': ([[FA] KOhA) ... [[tag] [[NA [[tag]] ... selbri-6 tail-terms: reduces to ''[[tag zo'u] [[NA ku zo'u [[tag zo'u]] ... ([[FA] KOhA) ... selbri-6 tail-terms'' If the ''bridi-tail'' is ''gek-sentence'': ([[FA] KOhA) ... gek prenex ... sentence gik prenex ... sentence tail-terms: reduces to ''gek prenex ... ([[FA] KOhA) sentence gik prenex ... ([[FA] KOhA) sentence tail-terms'' Finally, the ''tail-terms'' of each sentence are reduced in the same way as the pre-selbri terms have been before: starting from the first one, tagged terms and negations go directly to the prenex, KOhA terms go to the prenex and leave a KOhA behind, and connected terms and termsets expand into a gek-sentence. To tidy up, we now split every multiple term ''prenex'' into single term ones: term ... ZOhU subsentence: ''(term zohu) ... subsentence'' and we move all pre-selbri terms behind the selbri: [[([[FA] KOhA) ... [[CU]] selbri [[[[FA] KOhA] ... /VAU#/: reduces to ''selbri [[[[FA] KOhA] ... [[[[FA] KOhA] ... /VAU#/'' ''text'' has been reduced to: subsentence = selbri-6 [[[[FA] KOhA] ... /VAU#/ | gek subsentence gik subsentence | NA KU # ZOhU subsentence | tag /KU#/ ZOhU subsentence | [[tag] [[quantifier] KOhA xi number [[relative-clauses] ZOhU subsentence (Where ''selbri-6'' is an untagged/unnegated selbri, KOhA is one of da, de, di when quantifier is present, else it is one of ko'a, ko'e, ... fo'u.)