reduced logical form Step 8: Difference between revisions

From Lojban
Jump to navigation Jump to search
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:
See [[jbocre: Nalgol|Nalgol]] and [[jbocre: gua%5Cspi|gua\spi]] for the beginnings of a list.


*[[La Bangu]] uses {soi} as bridi relative clause The idea was first proposed by [[User:Gleki|la gleki]] in the form of {xoi} by taking it from gua\spi, then resurrected by [[User:selpahi|la selpa'i]] in the form of {soi}.
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.)