reduced logical form Step 8: Difference between revisions
m (Text replace - "jbocre: ([L-Z])" to "$1") |
m (Conversion script moved page Reduced logical form Step 8 to reduced logical form Step 8: Converting page titles to lowercase) |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 4: | Line 4: | ||
prenex = terms ZOhU # | prenex = terms ZOhU # | ||
sentence = ([[ | sentence = ([[FA|FA]] KOhA) ... bridi-tail | ||
bridi-tail = selbri tail-terms | gek-sentence | bridi-tail = selbri tail-terms | gek-sentence | ||
| Line 12: | Line 12: | ||
For each sentence, if the ''bridi-tail'' is ''selbri tail-terms'': | For each sentence, if the ''bridi-tail'' is ''selbri tail-terms'': | ||
([[ | ([[FA|FA]] KOhA) ... [[tag|tag]] [[NA [tag|tag]] ... selbri-6 tail-terms: reduces to ''[[tag zo'u|tag zo'u]] [[NA ku zo'u [tag zo'u|tag zo'u]] ... ([[FA|FA]] KOhA) ... selbri-6 tail-terms'' | ||
If the ''bridi-tail'' is ''gek-sentence'': | If the ''bridi-tail'' is ''gek-sentence'': | ||
([[ | ([[FA|FA]] KOhA) ... gek prenex ... sentence gik prenex ... sentence tail-terms: reduces to ''gek prenex ... ([[FA|FA]] KOhA) sentence gik prenex ... ([[FA|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. | 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. | ||
| 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: | ||
subsentence = selbri-6 [[ | subsentence = selbri-6 [[FA|FA]] KOhA] ... /VAU#/ | ||
| gek subsentence gik subsentence | | gek subsentence gik subsentence | ||
Latest revision as of 08:31, 30 June 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.)