reduced logical form Step 8

From Lojban
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.)