reduced logical form Step 8: Difference between revisions
mNo edit summary |
m (Conversion script moved page Reduced logical form Step 8 to reduced logical form Step 8: Converting page titles to lowercase) |
||
(7 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
subsentence = sentence | prenex subsentence | |||
prenex = terms ZOhU # | |||
sentence = ([[FA|FA]] KOhA) ... bridi-tail | |||
bridi-tail = selbri tail-terms | gek-sentence | |||
selbri = [[tag|tag]] [[NA [tag|tag]] ... selbri-6 | |||
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'': | |||
([[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. | |||
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|CU]] selbri [[FA|FA]] KOhA] ... /VAU#/: reduces to ''selbri [[FA|FA]] KOhA] ... [[FA|FA]] KOhA] ... /VAU#/'' | |||
''text'' has been reduced to: | |||
subsentence = selbri-6 [[FA|FA]] KOhA] ... /VAU#/ | |||
| gek subsentence gik subsentence | |||
| NA KU # ZOhU subsentence | |||
| tag /KU#/ ZOhU subsentence | |||
| [[tag|tag]] [[quantifier|quantifier]] KOhA xi number [[relative-clauses|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.) |
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.)