reduced logical form Step 8: Difference between revisions
m (Text replace - "jbocre: ([A-K])" to "$1") |
m (Text replace - "jbocre: " to "") |
||
Line 26: | Line 26: | ||
and we move all pre-selbri terms behind the selbri: | and we move all pre-selbri terms behind the selbri: | ||
([[ | ([[[FA|FA]] KOhA) ... [[CU|CU]] selbri [[FA|FA]] KOhA] ... /VAU#/: reduces to ''selbri [[FA|FA]] KOhA] ... [[FA|FA]] KOhA] ... /VAU#/'' | ||
''text'' has been reduced to: | ''text'' has been reduced to: |
Revision as of 16:27, 23 March 2014
subsentence = sentence | prenex subsentence
prenex = terms ZOhU #
sentence = (FA KOhA) ... bridi-tail
bridi-tail = selbri tail-terms | gek-sentence
selbri = tag [[NA [tag|tag]] ... selbri-6
For each sentence, if the bridi-tail is selbri tail-terms:
(FA KOhA) ... tag [[NA [tag|tag]] ... selbri-6 tail-terms: reduces to tag zo'u [[NA ku zo'u [tag 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|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.)