reduced logical form Step 8: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
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 = ([[jbocre: FA|FA]] KOhA) ... bridi-tail
 
bridi-tail = selbri tail-terms | gek-sentence
 
selbri = [[jbocre: tag|tag]] [[jbocre: NA [jbocre: tag|tag]] ... selbri-6
 
For each sentence, if the ''bridi-tail'' is ''selbri tail-terms'':
 
([[jbocre: FA|FA]] KOhA) ... [[jbocre: tag|tag]] [[jbocre: NA [jbocre: tag|tag]] ... selbri-6 tail-terms: reduces to ''[[jbocre: tag zo'u|tag zo'u]] [[jbocre: NA ku zo'u [jbocre: tag zo'u|tag zo'u]] ... ([[jbocre: FA|FA]] KOhA) ... selbri-6 tail-terms''
 
If the ''bridi-tail'' is ''gek-sentence'':
 
([[jbocre: FA|FA]] KOhA) ... gek prenex ... sentence gik prenex ... sentence tail-terms: reduces to ''gek prenex ... ([[jbocre: FA|FA]] KOhA) sentence gik prenex ... ([[jbocre: 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:
 
([[jbocre: [jbocre: FA|FA]] KOhA) ... [[jbocre: CU|CU]] selbri [[jbocre: FA|FA]] KOhA] ... /VAU#/: reduces to ''selbri [[jbocre: FA|FA]] KOhA] ... [[jbocre: FA|FA]] KOhA] ... /VAU#/''
 
''text'' has been reduced to:
 
subsentence = selbri-6 [[jbocre: FA|FA]] KOhA] ... /VAU#/
 
| gek subsentence gik subsentence
 
| NA KU # ZOhU subsentence
 
| tag /KU#/ ZOhU subsentence
 
| [[jbocre: tag|tag]] [[jbocre: quantifier|quantifier]] KOhA xi number [[jbocre: 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.)

Revision as of 17:11, 4 November 2013

subsentence = sentence | prenex subsentence

prenex = terms ZOhU #

sentence = (FA KOhA) ... bridi-tail

bridi-tail = selbri tail-terms | gek-sentence

selbri = tag [[jbocre: NA [jbocre: tag|tag]] ... selbri-6

For each sentence, if the bridi-tail is selbri tail-terms:

(FA KOhA) ... tag [[jbocre: NA [jbocre: tag|tag]] ... selbri-6 tail-terms: reduces to tag zo'u [[jbocre: NA ku zo'u [jbocre: 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:

([[jbocre: [jbocre: 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.)