diff --git a/chapters/01.xml b/chapters/01.xml
index 49544864f..521e009bd 100644
--- a/chapters/01.xml
+++ b/chapters/01.xml
@@ -6,18 +6,18 @@
-
+
What is Lojban?
- Logical Language Grouprelation to LojbanLojbanhistory of Lojban (pronounced
- LOZH-bahn) is a constructed language. Previous versions of the language were called
- Loglan by Dr. James Cooke Brown, who founded the Loglan Project and started the development of the language in 1955. The goals for the language were first described in the open literature in the article
-
-
- Loglan, published in
- Scientific American, June, 1960. Made well-known by that article and by occasional references in science fiction (most notably in Robert Heinlein's novel
-
+ Logical Language Grouprelation to LojbanLojbanhistory of Lojban (pronounced
+ LOZH-bahn) is a constructed language. Previous versions of the language were called
+ Loglan by Dr. James Cooke Brown, who founded the Loglan Project and started the development of the language in 1955. The goals for the language were first described in the open literature in the article
+
+
+ Loglan, published in
+ Scientific American, June, 1960. Made well-known by that article and by occasional references in science fiction (most notably in Robert Heinlein's novel
+
The Moon Is A Harsh Mistress) and computer publications, Loglan and Lojban have been built over four decades by dozens of workers and hundreds of supporters, led since 1987 by The Logical Language Group (who are the publishers of this book).Lojbanfeatures of There are thousands of artificial languages (of which Esperanto is the best-known), but Loglan/Lojban has been engineered to make it unique in several ways. The following are the main features of Lojban:
@@ -58,35 +58,35 @@
What is this book?
- goal of this bookthis bookgoal ofreference grammar This book is what is called a
- reference grammar. It attempts to expound the whole Lojban language, or at least as much of it as is understood at present. Lojban is a rich language with many features, and an attempt has been made to discover the functions of those features. The word
-
- discover is used advisedly; Lojban was not
+ goal of this bookthis bookgoal ofreference grammar This book is what is called a
+ reference grammar. It attempts to expound the whole Lojban language, or at least as much of it as is understood at present. Lojban is a rich language with many features, and an attempt has been made to discover the functions of those features. The word
+
+ discover is used advisedly; Lojban was not
invented by any one person or committee. Often, grammatical features were introduced into the language long before their usage was fully understood. Sometimes they were introduced for one reason, only to prove more useful for other reasons not recognized at the time.
- By intention, this book is complete in description but not in explanation. For every rule in the formal Lojban grammar (given in
- ), there is a bit of explanation and an example somewhere in the book, and often a great deal more than a bit. In essence,
- gives a brief overview of the language,
+ By intention, this book is complete in description but not in explanation. For every rule in the formal Lojban grammar (given in
+ ), there is a bit of explanation and an example somewhere in the book, and often a great deal more than a bit. In essence,
+ gives a brief overview of the language,
gives the formal structure of the language, and the chapters in between put semantic flesh on those formal bones. I hope that eventually more grammatical material founded on (or even correcting) the explanations in this book will become available.
- linguistic driftLojbanstability of Nevertheless, the publication of this book is, in one sense, the completion of a long period of language evolution. With the exception of a possible revision of the language that will not even be considered until five years from publication date, and any revisions of this book needed to correct outright errors, the language described in this book will not be changing by deliberate act of its creators any more. Instead, language change will take place in the form of new vocabulary – Lojban does not yet have nearly the vocabulary it needs to be a fully usable language of the modern world, as
+ linguistic driftLojbanstability of Nevertheless, the publication of this book is, in one sense, the completion of a long period of language evolution. With the exception of a possible revision of the language that will not even be considered until five years from publication date, and any revisions of this book needed to correct outright errors, the language described in this book will not be changing by deliberate act of its creators any more. Instead, language change will take place in the form of new vocabulary – Lojban does not yet have nearly the vocabulary it needs to be a fully usable language of the modern world, as
explains – and through the irregular natural processes of drift and (who knows?) native-speaker evolution. (Teach your children Lojban!) You can learn the language described here with assurance that (unlike previous versions of Lojban and Loglan, as well as most other artificial languages) it will not be subject to further fiddling by language-meisters.this bookstructure ofstructure of this book It is probably worth mentioning that this book was written somewhat piecemeal. Each chapter began life as an explication of a specific Lojban topic; only later did these begin to clump together into a larger structure of words and ideas. Therefore, there are perhaps not as many cross-references as there should be. However, I have attempted to make the index as comprehensive as possible.
- chapter titlesintent ofjokesLojbanistan Each chapter has a descriptive title, often involving some play on words; this is an attempt to make the chapters more memorable. The title of
- (which you are now reading), for example, is an allusion to the book
- English As We Speak It In Ireland, by P. W. Joyce, which is a sort of informal reference grammar of Hiberno-English.
-
- Lojbanistan is both an imaginary country where Lojban is the native language, and a term for the actual community of Lojban-speakers, scattered over the world. Why
-
+ chapter titlesintent ofjokesLojbanistan Each chapter has a descriptive title, often involving some play on words; this is an attempt to make the chapters more memorable. The title of
+ (which you are now reading), for example, is an allusion to the book
+ English As We Speak It In Ireland, by P. W. Joyce, which is a sort of informal reference grammar of Hiberno-English.
+
+ Lojbanistan is both an imaginary country where Lojban is the native language, and a term for the actual community of Lojban-speakers, scattered over the world. Why
+
mangle? As yet, nobody in the real Lojbanistan speaks the language at all well, by the standards of the imaginary Lojbanistan; that is one of the circumstances this book is meant to help remedy.
-
+
What are the typographical conventions of this book?
-
+
Each chapter is broken into numbered sections; each section contains a mixture of expository text, numbered examples, and possibly tables.this bookexamples ofexamples in this book The reader will notice a certain similarity in the examples used throughout the book. One chapter after another rings the changes on the self-same sentences:
-
+
go to the store
@@ -99,20 +99,20 @@
I go to the store.
- will become wearisomely familiar before
+ will become wearisomely familiar before
is reached. This method is deliberate; I have tried to use simple and (eventually) familiar examples wherever possible, to avoid obscuring new grammatical points with new vocabulary. Of course, this is not the method of a textbook, but this book is not a textbook (although people have learned Lojban from it and its predecessors). Rather, it is intended both for self-learning (of course, at present would-be Lojban teachers must be self-learners) and to serve as a reference in the usual sense, for looking up obscure points about the language.
- examplesstructure ofstructure of examplesexample of examples It is useful to talk further about
- for what it illustrates about examples in this book. Examples usually occupy three lines. The first of these is in Lojban (in italics), the second in a word-by-word literal translation of the Lojban into English (in boldface), and the third in colloquial English. The second and third lines are sometimes called the
-
- literal translation and the
+ examplesstructure ofstructure of examplesexample of examples It is useful to talk further about
+ for what it illustrates about examples in this book. Examples usually occupy three lines. The first of these is in Lojban (in italics), the second in a word-by-word literal translation of the Lojban into English (in boldface), and the third in colloquial English. The second and third lines are sometimes called the
+
+ literal translation and the
colloquial translation respectively. Sometimes, when clarity is not sacrificed thereby, one or both are omitted. If there is more than one Lojban sentence, it generally means that they have the same meaning.
- square bracketsuse of in notation Words are sometimes surrounded by square brackets. In Lojban texts, these enclose optional grammatical particles that may (in the context of the particular example) be either omitted or included. In literal translations, they enclose words that are used as conventional translations of specific Lojban words, but don't have exactly the meanings or uses that the English word would suggest. In
-
+ square bracketsuse of in notation Words are sometimes surrounded by square brackets. In Lojban texts, these enclose optional grammatical particles that may (in the context of the particular example) be either omitted or included. In literal translations, they enclose words that are used as conventional translations of specific Lojban words, but don't have exactly the meanings or uses that the English word would suggest. In
+
, square brackets surround phonetic representations in the International Phonetic Alphabet.
-
+
grammatical categoriesuse of upper case fortablesformat of Many of the tables, especially those placed at the head of various sections, are in three columns. The first column contains Lojban words discussed in that section; the second column contains the grammatical category (represented by an UPPER CASE Lojban word) to which the word belongs, and the third column contains a brief English gloss, not necessarily or typically a full explanation. Other tables are explained in context.
- technical terms A few Lojban words are used in this book as technical terms. All of these are explained in
-
+ technical terms A few Lojban words are used in this book as technical terms. All of these are explained in
+
, except for a few used only in single chapters, which are explained in the introductory sections of those chapters.
@@ -122,54 +122,52 @@
Acknowledgements and Credits
- LLGthis bookauthor ofauthor of this book Although the bulk of this book was written for the Logical Language Group (LLG) by John Cowan, who is represented by the occasional authorial
-
+ LLGthis bookauthor ofauthor of this book Although the bulk of this book was written for the Logical Language Group (LLG) by John Cowan, who is represented by the occasional authorial
+
I, certain chapters were first written by others and then heavily edited by me to fit into this book.
- this bookcontributors tocontributors to this book In particular:
- is a fusion of originally separate documents, one by Athelstan, and one by Nora Tansky LeChevalier and Bob LeChevalier;
- and
- were originally written by Bob LeChevalier with contributions by Chuck Barton;
- was originally written (in much longer form) by Nick Nicholas; the dialogue near the end of
- was contributed by Nora Tansky LeChevalier;
- and parts of
- were originally by Bob LeChevalier; and the YACC grammar in
-
- is the work of several hands, but is primarily by Bob LeChevalier and Jeff Taylor. The BNF grammar, which is also in
- , was originally written by me, then rewritten by Clark Nelson, and finally touched up by me again.
- this bookcredits forcredits for this book The research into natural languages from which parts of
+ this bookcontributors tocontributors to this book In particular:
+ is a fusion of originally separate documents, one by Athelstan, and one by Nora Tansky LeChevalier and Bob LeChevalier;
+ and
+ were originally written by Bob LeChevalier with contributions by Chuck Barton;
+ was originally written (in much longer form) by Nick Nicholas; the dialogue near the end of
+ was contributed by Nora Tansky LeChevalier;
+ and parts of
+ were originally by Bob LeChevalier. The BNF grammar in
+ was originally written by me, then rewritten by Clark Nelson, and finally touched up by me again.
+ this bookcredits forcredits for this book The research into natural languages from which parts of
draw their material was performed by Ivan Derzhanski. LLG acknowledges his kind permission to use the fruits of his research.
-
- picturescredits forcredits for pictures The pictures in this book were drawn by Nora Tansky LeChevalier, except for the picture appearing in
-
+
+ picturescredits forcredits for pictures The pictures in this book were drawn by Nora Tansky LeChevalier, except for the picture appearing in
+
, which is by Sylvia Rutiser Rissell.The index was made by Nora Tansky LeChevalier.
- this bookreviewers ofreviewers of this book I would like to thank the following people for their detailed reviews, suggestions, comments, and early detection of my embarrassing errors in Lojban, logic, English, and cross-references: Nick Nicholas, Mark Shoulson, Veijo Vilva, Colin Fine, And Rosta, Jorge Llambias, Iain Alexander, Paulo S. L. M. Barreto, Robert J. Chassell, Gale Cowan, Karen Stein, Ivan Derzhanski, Jim Carter, Irene Gates, Bob LeChevalier, John Parks-Clifford (also known as
+ this bookreviewers ofreviewers of this book I would like to thank the following people for their detailed reviews, suggestions, comments, and early detection of my embarrassing errors in Lojban, logic, English, and cross-references: Nick Nicholas, Mark Shoulson, Veijo Vilva, Colin Fine, And Rosta, Jorge Llambias, Iain Alexander, Paulo S. L. M. Barreto, Robert J. Chassell, Gale Cowan, Karen Stein, Ivan Derzhanski, Jim Carter, Irene Gates, Bob LeChevalier, John Parks-Clifford (also known as
pc), and Nora Tansky LeChevalier.
- Nick Nicholas (NSN) would like to thank the following Lojbanists: Mark Shoulson, Veijo Vilva, Colin Fine, And Rosta, and Iain Alexander for their suggestions and comments; John Cowan, for his extensive comments, his exemplary trailblazing of Lojban grammar, and for solving the
+ Nick Nicholas (NSN) would like to thank the following Lojbanists: Mark Shoulson, Veijo Vilva, Colin Fine, And Rosta, and Iain Alexander for their suggestions and comments; John Cowan, for his extensive comments, his exemplary trailblazing of Lojban grammar, and for solving the
manskapi dilemma for NSN; Jorge Llambias, for his even more extensive comments, and for forcing NSN to think more than he was inclined to; Bob LeChevalier, for his skeptical overview of the issue, his encouragement, and for scouring all Lojban text his computer has been burdened with for lujvo; Nora Tansky LeChevalier, for writing the program converting old rafsi text to new rafsi text, and sparing NSN from embarrassing errors; and Jim Carter, for his dogged persistence in analyzing lujvo algorithmically, which inspired this research, and for first identifying the three lujvo classes.
-
+
BrownJames Cooke Of course, the entire Loglan Project owes a considerable debt to James Cooke Brown as the language inventor, and also to several earlier contributors to the development of the language. Especially noteworthy are Doug Landauer, Jeff Prothero, Scott Layson, Jeff Taylor, and Bob McIvor. Final responsibility for the remaining errors and infelicities is solely mine.
-
+
Informal Bibliography
- Loglanbibliography The founding document for the Loglan Project, of which this book is one of the products, is
+ Loglanbibliography The founding document for the Loglan Project, of which this book is one of the products, is
Loglan 1: A Logical Language by James Cooke Brown (4th ed. 1989, The Loglan Institute, Gainesville, Florida, U.S.A.). The language described therein is not Lojban, but is very close to it and may be considered an ancestral version. It is regrettably necessary to state that nothing in this book has been approved by Dr. Brown, and that the very existence of Lojban is disapproved of by him.
-
- The logic of Lojban, such as it is, owes a good deal to the American philosopher W. v.O. Quine, especially
+
+ The logic of Lojban, such as it is, owes a good deal to the American philosopher W. v.O. Quine, especially
Word and Object (1960, M.I.T. Press). Much of Quine's philosophical writings, especially on observation sentences, reads like a literal translation from Lojban.
-
- The theory of negation expounded in
- is derived from a reading of Laurence Horn's work
+
+ The theory of negation expounded in
+ is derived from a reading of Laurence Horn's work
A Natural History of Negation.Of course, neither Brown nor Quine nor Horn is in any way responsible for the uses or misuses I have made of their works.
-
+
books about Lojban Depending on just when you are reading this book, there may be three other books about Lojban available: a textbook, a Lojban/English dictionary, and a book containing general information about Lojban. You can probably get these books, if they have been published, from the same place where you got this book. In addition, other books not yet foreseen may also exist.
-
+
Captions to Pictures
- The following examples list the Lojban caption, with a translation, for the picture at the head of each chapter. If a chapter's picture has no caption,
+ The following examples list the Lojban caption, with a translation, for the picture at the head of each chapter. If a chapter's picture has no caption,
(none) is specified instead.
@@ -297,9 +295,9 @@
Permission is granted to make and distribute verbatim copies of this book, either in electronic or in printed form, provided the copyright notice and this permission notice are preserved on all copies.Permission is granted to copy and distribute modified versions of this book, provided that the modifications are clearly marked as such, and provided that the entire resulting derived work is distributed under the terms of a permission notice identical to this one.Permission is granted to copy and distribute translations of this book into another language, under the above conditions for modified versions, except that this permission notice may be stated in a translation that has been approved by the Logical Language Group, rather than in English.
- The contents of
+ The contents of
are in the public domain.
- For information, contact: The Logical Language Group, 2904 Beau Lane, Fairfax VA 22031-1303 USA. Telephone: 703-385-0273. Email address:
+ For information, contact: The Logical Language Group, 2904 Beau Lane, Fairfax VA 22031-1303 USA. Telephone: 703-385-0273. Email address:
llg-board@lojban.org. Web Address:
http://www.lojban.org.
diff --git a/chapters/21.xml b/chapters/21.xml
index d2333b56b..fe424988e 100644
--- a/chapters/21.xml
+++ b/chapters/21.xml
@@ -10,29 +10,29 @@
YACC Grammar of LojbanThe following two listings constitute the formal grammar of Lojban. The first version is written in the YACC language, which is used to describe parsers, and has been used to create a parser for Lojban texts. This parser is available from the Logical Language Group. The second listing is in Extended Backus-Naur Form (EBNF) and represents the same grammar in a more human-readable form. (In case of discrepancies, the YACC version is official.) There is a cross-reference listing for each format that shows, for each selma'o and rule, which rules refer to it.
-
+
/* /*Lojban Machine Grammar, Final Baseline The Lojban Machine Grammardocument is explicitly dedicated to the public domain by its author,The Logical Language Group, Inc.grammar.300 *//* The Lojban machine parsing algorithm is a multi-step process. The YACC machine grammar presented here is an amalgam of those steps, concatenated so as to allow YACC to verify the syntactic ambiguity of the grammar. YACC is used to generate a parser for a portion of the grammar, which is LALR1 (the type of grammar that YACC is designed to identify and process successfully), but most of the rest of the grammar must be parsed using some language-coded processing.
-
+
Step 1 – LexingFrom phonemes, stress, and pause, it is possible to resolve Lojban unambiguously into a stream of words. Any machine processing of speech will have to have some way to deal with non-Lojban failures of fluent speech, of course. The resolved words can be expressed as a text file using Lojban's phonetic spelling rules.The following steps assume that there is the possibility of non-Lojban text within the Lojban text (delimited appropriately). Such non-Lojban text may not be reducible from speech phonetically. However, step 2 allows the filtering of a phonetically transcribed text stream, to recognize such portions of non-Lojban text where properly delimited, without interference with the parsing algorithm.
-
+
Step 2 – FilteringFrom start to end, performing the following filtering and lexing tasks using the given order of precedence in case of conflict:
- If the Lojban word zoi (selma'o ZOI) is identified, take the following Lojban word (which should be end delimited with a pause for separation from the following non-Lojban text) as an opening delimiter. Treat all text following that delimiter, until that delimiter recurs
- after a pause, as grammatically a single token (labelled
+ If the Lojban word zoi (selma'o ZOI) is identified, take the following Lojban word (which should be end delimited with a pause for separation from the following non-Lojban text) as an opening delimiter. Treat all text following that delimiter, until that delimiter recurs
+ after a pause, as grammatically a single token (labelled in this grammar). There is no need for processing within this text except as necessary to find the closing delimiter.
- If the Lojban word zo (selma'o ZO) is identified, treat the following Lojban word as a token labelled
+ If the Lojban word zo (selma'o ZO) is identified, treat the following Lojban word as a token labelled , instead of lexing it by its normal grammatical function.
- If the Lojban word lo'u (selma'o LOhU) is identified, search for the closing delimiter le'u (selma'o LEhU), ignoring any such closing delimiters absorbed by the previous two steps. The text between the delimiters should be treated as the single token
+ If the Lojban word lo'u (selma'o LOhU) is identified, search for the closing delimiter le'u (selma'o LEhU), ignoring any such closing delimiters absorbed by the previous two steps. The text between the delimiters should be treated as the single token .
@@ -79,10 +79,10 @@
the lexer token is inserted in front of the token string to identify it uniquely.
- The YACC grammar included herein is written to make YACC generation of a step 6 parser easy regardless of whether a. or b. is used. The strings of tokens to be labelled with lexer tokens are found in rule terminals labelled with numbers between 900 and 1099. These rules are defined with the lexer tokens inserted, with the result that it can be verified that the language is LALR1 under option b. after steps 1 through 4 have been performed. Alternatively, if option a. is to be used, these rules are commented out, and the rule terminals labelled from 800 to 900 refer to the lexer tokens
-
+ The YACC grammar included herein is written to make YACC generation of a step 6 parser easy regardless of whether a. or b. is used. The strings of tokens to be labelled with lexer tokens are found in rule terminals labelled with numbers between 900 and 1099. These rules are defined with the lexer tokens inserted, with the result that it can be verified that the language is LALR1 under option b. after steps 1 through 4 have been performed. Alternatively, if option a. is to be used, these rules are commented out, and the rule terminals labelled from 800 to 900 refer to the lexer tokens
+
without the strings of defining tokens. Two sets of lexer tokens are defined in the token set so as to be compatible with either option.
- In this step, the strings must be labelled with the appropriate lexer tokens. Order of inserting lexer tokens
+ In this step, the strings must be labelled with the appropriate lexer tokens. Order of inserting lexer tokens
IS significant, since some shorter strings that would be marked with a lexer token may be found inside longer strings. If the tokens are inserted before or in place of the shorter strings, the longer strings cannot be identified.If option a. is chosen, the following order of insertion works correctly (it is not the only possible order):
@@ -116,412 +116,412 @@
YACC should now be able to parse the Lojban text in accordance with the rule terminals labelled from 1 to 899 under option 5a, or 1 to 1099 under option 5b. Comment out the rules beyond 900 if option 5a is used, and comment out the 700-series of lexer-tokens, while restoring the series of lexer tokens numbered from 900 up.*/
-%token
+%token
A_501 /* eks; basic afterthought logical connectives */
-%token
+%token
BAI_502 /* modal operators */
-%token
+%token
BAhE_503 /* next word intensifier */
-%token
+%token
BE_504 /* sumti link to attach sumti to a selbri */
-%token
+%token
BEI_505 /* multiple sumti separator between BE, BEI */
-%token
+%token
BEhO_506 /* terminates BE/BEI specified descriptors */
-%token
+%token
BIhI_507 /* interval component of JOI */
-%token
+%token
BO_508 /* joins two units with shortest scope */
-%token
+%token
BRIVLA_509 /* any brivla */
-%token
+%token
BU_511 /* turns any word into a BY lerfu word */
-%token
+%token
BY_513 /* individual lerfu words */
-%token
+%token
CAhA_514 /* specifies actuality/potentiality of tense */
-%token
+%token
CAI_515 /* afterthought intensity marker */
-%token
+%token
CEI_516 /* pro-bridi assignment operator */
-%token
+%token
CEhE_517 /* afterthought term list connective */
-%token
+%token
CMENE_518 /* names; require consonant end, then pause no
LA or DOI selma'o embedded, pause before if
vowel initial and preceded by a vowel */
-%token
+%token
CO_519 /* tanru inversion */
-%token
+%token
COI_520 /* vocative marker permitted inside names; must
always be followed by pause or DOI */
-%token
+%token
CU_521 /* separator between head sumti and selbri */
-%token
+%token
CUhE_522 /* tense/modal question */
-%token
+%token
DAhO_524 /* cancel anaphora/cataphora assignments */
-%token
+%token
DOI_525 /* vocative marker */
-%token
+%token
DOhU_526 /* terminator for DOI-marked vocatives */
-%token
+%token
FA_527 /* modifier head generic case tag */
-%token
+%token
FAhA_528 /* superdirections in space */
-%token
+%token
FAhO_529 /* normally elided done pause to indicate end
of utterance string */
-%token
+%token
FEhE_530 /* space interval mod flag */
-%token
+%token
FEhU_531 /* ends bridi to modal conversion */
-%token
+%token
FIhO_532 /* marks bridi to modal conversion */
-%token
+%token
FOI_533 /* end compound lerfu */
-%token
+%token
FUhE_535 /* open long scope for indicator */
-%token
+%token
FUhO_536 /* close long scope for indicator */
-%token
+%token
GA_537 /* geks; forethought logical connectives */
-%token
+%token
GEhU_538 /* marker ending GOI relative clauses */
-%token
+%token
GI_539 /* forethought medial marker */
-%token
+%token
GIhA_541 /* logical connectives for bridi-tails */
-%token
+%token
GOI_542 /* attaches a sumti modifier to a sumti */
-%token
+%token
GOhA_543 /* pro-bridi */
-%token
+%token
GUhA_544 /* GEK for tanru units, corresponds to JEKs */
-%token
+%token
I_545 /* sentence link */
-%token
+%token
JA_546 /* jeks; logical connectives within tanru */
-%token
+%token
JAI_547 /* modal conversion flag */
-%token
+%token
JOI_548 /* non-logical connectives */
-%token
+%token
KEhE_550 /* right terminator for KE groups */
-%token
+%token
KE_551 /* left long scope marker */
-%token
+%token
KEI_552 /* right terminator, NU abstractions */
-%token
+%token
KI_554 /* multiple utterance scope for tenses */
-%token
+%token
KOhA_555 /* sumti anaphora */
-%token
+%token
KU_556 /* right terminator for descriptions, etc. */
-%token
+%token
KUhO_557 /* right terminator, NOI relative clauses */
-%token
+%token
LA_558 /* name descriptors */
-%token
+%token
LAU_559 /* lerfu prefixes */
-%token
+%token
LAhE_561 /* sumti qualifiers */
-%token
+%token
LE_562 /* sumti descriptors */
-%token
+%token
LEhU_565 /* possibly ungrammatical text right quote */
-%token
+%token
LI_566 /* convert number to sumti */
-%token
+%token
LIhU_567 /* grammatical text right quote */
-%token
+%token
LOhO_568 /* elidable terminator for LI */
-%token
+%token
LOhU_569 /* possibly ungrammatical text left quote */
-%token
+%token
LU_571 /* grammatical text left quote */
-%token
+%token
LUhU_573 /* LAhE close delimiter */
-%token
+%token
ME_574 /* converts a sumti into a tanru_unit */
-%token
+%token
MEhU_575 /* terminator for ME */
-%token
+%token
MOhI_577 /* motion tense marker */
-%token
+%token
NA_578 /* bridi negation */
-%token
+%token
NAI_581 /* attached to words to negate them */
-%token
+%token
NAhE_583 /* scalar negation */
-%token
+%token
NIhO_584 /* new paragraph; change of subject */
-%token
+%token
NOI_585 /* attaches a subordinate clause to a sumti */
-%token
+%token
NU_586 /* abstraction */
-%token
+%token
NUhI_587 /* marks the start of a termset */
-%token
+%token
NUhU_588 /* marks the middle and end of a termset */
-%token
+%token
PEhE_591 /* afterthought termset connective prefix */
-%token
+%token
PU_592 /* directions in time */
-%token
+%token
RAhO_593 /* flag for modified interpretation of GOhI */
-%token
+%token
ROI_594 /* converts number to extensional tense */
-%token
+%token
SA_595 /* metalinguistic eraser to the beginning of
the current utterance */
-%token
+%token
SE_596 /* conversions */
-%token
+%token
SEI_597 /* metalinguistic bridi insert marker */
-%token
+%token
SEhU_598 /* metalinguistic bridi end marker */
-%token
+%token
SI_601 /* metalinguistic single word eraser */
-%token
+%token
SOI_602 /* reciprocal sumti marker */
-%token
+%token
SU_603 /* metalinguistic eraser of the entire text */
-%token
+%token
TAhE_604 /* tense interval properties */
-%token
+%token
TEI_605 /* start compound lerfu */
-%token
+%token
TO_606 /* left discursive parenthesis */
-%token
+%token
TOI_607 /* right discursive parenthesis */
-%token
+%token
TUhE_610 /* multiple utterance scope mark */
-%token
+%token
TUhU_611 /* multiple utterance end scope mark */
-%token
+%token
UI_612 /* attitudinals, observationals, discursives */
-%token
+%token
VA_613 /* distance in space-time */
-%token
+%token
VAU_614 /* end simple bridi or bridi-tail */
-%token
+%token
VEhA_615 /* space-time interval size */
-%token
+%token
VIhA_616 /* space-time dimensionality marker */
-%token
+%token
VUhO_617 /* glue between logically connected sumti
and relative clauses */
-%token
+%token
XI_618 /* subscripting operator */
-%token
+%token
Y_619 /* hesitation */
-%token
+%token
ZAhO_621 /* event properties – inchoative, etc. */
-%token
+%token
ZEhA_622 /* time interval size tense */
-%token
+%token
ZEI_623 /* lujvo glue */
-%token
+%token
ZI_624 /* time distance tense */
-%token
+%token
ZIhE_625 /* conjoins relative clauses */
-%token
+%token
ZO_626 /* single word metalinguistic quote marker */
-%token
+%token
ZOI_627 /* delimited quote marker */
-%token
+%token
ZOhU_628 /* prenex terminator (not elidable) */
-%token
+%token
BIhE_650 /* prefix for high-priority MEX operator */
-%token
+%token
BOI_651 /* number or lerfu-string terminator */
-%token
+%token
FUhA_655 /* reverse Polish flag */
-%token
+%token
GAhO_656 /* open/closed interval markers for BIhI */
-%token
+%token
JOhI_657 /* flags an array operand */
-%token
+%token
KUhE_658 /* MEX forethought delimiter */
-%token
+%token
MAI_661 /* change numbers to utterance ordinals */
-%token
+%token
MAhO_662 /* change MEX expressions to MEX operators */
-%token
+%token
MOI_663 /* change number to selbri */
-%token
+%token
MOhE_664 /* change sumti to operand, inverse of LI */
-%token
+%token
NAhU_665 /* change a selbri into an operator */
-%token
+%token
NIhE_666 /* change selbri to operand; inverse of MOI */
-%token
+%token
NUhA_667 /* change operator to selbri; inverse of MOhE */
-%token
+%token
PA_672 /* numbers and numeric punctuation */
-%token
+%token
PEhO_673 /* forethought (Polish) flag */
-%token
+%token
TEhU_675 /* closing gap for MEX constructs */
-%token
+%token
VEI_677 /* left MEX bracket */
-%token
+%token
VEhO_678 /* right MEX bracket */
-%token
+%token
VUhU_679 /* MEX operator */
-%token
+%token
any_words_697 /* a string of lexable Lojban words */
-%token
+%token
any_word_698 /* any single lexable Lojban words */
-%token
+%token
anything_699 /* a possibly unlexable phoneme string */
@@ -636,66 +636,66 @@ the 900 series rules are found in the lexer. */
/* %token lexer_Y_1025 /* : lexer_Y_725 number_root_961 MOI_663 */
-%start
+%start
%%
- text_0 :
+ text_0 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- text_A_1 :
+ text_A_1 :
/* incomplete JOIK_JEK without preceding I */
- /* compare note on
+ /* compare note on
*/
- |
+ |
;
- text_B_2 :
+ text_B_2 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- text_C_3 :
+ text_C_3 :
/* Only indicators which follow certain selma'o:
- cmene,
-,
+ cmene,
+,
, and the lexer_K and lexer_S I_roots and compounds,
and at the start of text(_0), will survive the lexer; all other valid ones
will be absorbed. The only strings for which indicators generate a
@@ -704,34 +704,34 @@ the 900 series rules are found in the lexer. */
whether it is the indicator or the original token being negated. */
| /* empty */
/* An empty text is legal; formerly this was handled by the explicit
- appearance of
+ appearance of
, but this is now absorbed by the preparser. */
;
- paragraphs_4 :
+ paragraphs_4 :
- |
+ |
;
- paragraph_10 :
+ paragraph_10 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
/* this last fixes an erroneous start to a sentence,
@@ -740,45 +740,45 @@ the 900 series rules are found in the lexer. */
;
- statement_11 :
+ statement_11 :
- |
+ |
;
- statement_A_12 :
+ statement_A_12 :
- |
+ |
- |
+ |
;
- statement_B_13 :
+ statement_B_13 :
- |
+ |
- |
+ |
;
- statement_C_14 :
+ statement_C_14 :
- |
+ |
- |
+ |
@@ -787,81 +787,81 @@ the 900 series rules are found in the lexer. */
- fragment_20 :
+ fragment_20 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
/* answer to ma */
- /*
- requires both
- and
+ /*
+ requires both
+ and
but needs no extra rule to accomplish this */
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- prenex_30 :
+ prenex_30 :
;
- free_modifier_32 :
+ free_modifier_32 :
- |
+ |
;
- free_modifier_A_33 :
+ free_modifier_A_33 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- discursive_bridi_34 :
+ discursive_bridi_34 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
@@ -869,57 +869,57 @@ the 900 series rules are found in the lexer. */
;
- vocative_35 :
+ vocative_35 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- parenthetical_36 :
+ parenthetical_36 :
@@ -927,31 +927,31 @@ the 900 series rules are found in the lexer. */
- sentence_40 :
+ sentence_40 :
/* bare observative or mo answer */
- |
+ |
- |
+ |
;
- subsentence_41 :
+ subsentence_41 :
- |
+ |
;
- bridi_tail_50 :
+ bridi_tail_50 :
- |
+ |
@@ -960,9 +960,9 @@ the 900 series rules are found in the lexer. */
;
- bridi_tail_A_51 :
+ bridi_tail_A_51 :
- |
+ |
@@ -970,9 +970,9 @@ the 900 series rules are found in the lexer. */
;
- bridi_tail_B_52 :
+ bridi_tail_B_52 :
- |
+ |
@@ -980,51 +980,51 @@ the 900 series rules are found in the lexer. */
;
- bridi_tail_C_53 :
+ bridi_tail_C_53 :
- |
+ |
;
- gek_sentence_54 :
+ gek_sentence_54 :
- |
+ |
- |
+ |
;
- tail_terms_71 :
+ tail_terms_71 :
- |
+ |
;
- terms_80 :
+ terms_80 :
- |
+ |
;
- terms_A_81 :
+ terms_A_81 :
- |
+ |
@@ -1032,40 +1032,40 @@ the 900 series rules are found in the lexer. */
;
- terms_B_82 :
+ terms_B_82 :
- |
+ |
;
- term_83 :
+ term_83 :
- |
+ |
- |
+ |
- |
+ |
;
- modifier_84 :
+ modifier_84 :
- |
+ |
;
- term_set_85 :
+ term_set_85 :
- |
+ |
@@ -1077,23 +1077,23 @@ the 900 series rules are found in the lexer. */
- sumti_90 :
+ sumti_90 :
- |
+ |
;
- sumti_A_91 :
+ sumti_A_91 :
- |
+ |
- |
+ |
@@ -1101,31 +1101,31 @@ the 900 series rules are found in the lexer. */
;
- sumti_B_92 :
+ sumti_B_92 :
- |
+ |
;
- sumti_C_93 :
+ sumti_C_93 :
- |
+ |
- |
+ |
;
- sumti_D_94 :
+ sumti_D_94 :
- |
+ |
@@ -1133,19 +1133,19 @@ the 900 series rules are found in the lexer. */
;
- sumti_E_95 :
+ sumti_E_95 :
- |
+ |
/* indefinite sumti */
- |
+ |
- |
+ |
@@ -1153,119 +1153,119 @@ the 900 series rules are found in the lexer. */
;
- sumti_F_96 :
+ sumti_F_96 :
/* outer-quantified sumti */
- |
+ |
;
- sumti_G_97 :
+ sumti_G_97 :
- |
+ |
/*sumti grouping, set/mass/individual conversion; also sumti scalar negation */
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- description_110 :
+ description_110 :
- |
+ |
;
- sumti_tail_111 :
+ sumti_tail_111 :
/* inner-quantified sumti relative clause */
- |
+ |
/* pseudo-possessive
(an abbreviated inner restriction);
note that sumti cannot be quantified */
- |
+ |
/* pseudo-possessive with outer restriction */
- |
+ |
;
- sumti_tail_A_112 :
+ sumti_tail_A_112 :
- |
+ |
/* explicit inner quantifier */
- |
+ |
/* quantifier both internal to a description,
and external to a sumti thereby made specific */
- |
+ |
- |
+ |
;
- relative_clauses_121 :
+ relative_clauses_121 :
- |
+ |
;
- relative_clause_122 :
+ relative_clause_122 :
- |
+ |
@@ -1273,46 +1273,46 @@ the 900 series rules are found in the lexer. */
- selbri_130 :
+ selbri_130 :
- |
+ |
;
- selbri_A_131 :
+ selbri_A_131 :
- |
+ |
;
- selbri_B_132 :
+ selbri_B_132 :
- |
+ |
;
- selbri_C_133 :
+ selbri_C_133 :
- |
+ |
;
- selbri_D_134 :
+ selbri_D_134 :
- |
+ |
- |
+ |
@@ -1320,34 +1320,34 @@ the 900 series rules are found in the lexer. */
;
- selbri_E_135 :
+ selbri_E_135 :
- |
+ |
- |
+ |
;
- selbri_F_136 :
+ selbri_F_136 :
- |
+ |
- |
+ |
- |
+ |
;
- GUhEK_selbri_137 :
+ GUhEK_selbri_137 :
@@ -1356,9 +1356,9 @@ the 900 series rules are found in the lexer. */
- tanru_unit_150 :
+ tanru_unit_150 :
- |
+ |
@@ -1366,46 +1366,46 @@ the 900 series rules are found in the lexer. */
- tanru_unit_A_151 :
+ tanru_unit_A_151 :
- |
+ |
;
- tanru_unit_B_152 :
+ tanru_unit_B_152 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
@@ -1413,11 +1413,11 @@ the 900 series rules are found in the lexer. */
- linkargs_160 :
+ linkargs_160 :
- |
+ |
@@ -1425,10 +1425,10 @@ the 900 series rules are found in the lexer. */
;
- links_161 :
+ links_161 :
- |
+ |
@@ -1438,10 +1438,10 @@ the 900 series rules are found in the lexer. */
/* Main entry point for MEX; everything but a number must be in parens. */
- quantifier_300 :
+ quantifier_300 :
- |
+ |
@@ -1461,13 +1461,13 @@ the 900 series rules are found in the lexer. */
operator or an array operand. */
- MEX_310 :
+ MEX_310 :
- |
+ |
- |
+ |
;
@@ -1476,9 +1476,9 @@ the 900 series rules are found in the lexer. */
- MEX_A_311 :
+ MEX_A_311 :
- |
+ |
@@ -1489,13 +1489,13 @@ the 900 series rules are found in the lexer. */
forethought flag, then the operator and then the argument(s). */
- MEX_B_312 :
+ MEX_B_312 :
- |
+ |
- |
+ |
@@ -1503,9 +1503,9 @@ the 900 series rules are found in the lexer. */
;
- MEX_C_313 :
+ MEX_C_313 :
- |
+ |
;
@@ -1518,7 +1518,7 @@ the 900 series rules are found in the lexer. */
- rp_expression_330 :
+ rp_expression_330 :
@@ -1526,9 +1526,9 @@ the 900 series rules are found in the lexer. */
- rp_operand_332 :
+ rp_operand_332 :
- |
+ |
;
@@ -1536,13 +1536,13 @@ the 900 series rules are found in the lexer. */
/* Operators may be joined by logical connectives. */
- operator_370 :
+ operator_370 :
- |
+ |
- |
+ |
@@ -1550,51 +1550,51 @@ the 900 series rules are found in the lexer. */
;
- operator_A_371 :
+ operator_A_371 :
- |
+ |
- |
+ |
- |
+ |
;
- operator_B_372 :
+ operator_B_372 :
- |
+ |
;
- MEX_operator_374 :
+ MEX_operator_374 :
- |
+ |
- |
+ |
/* changes argument order */
- |
+ |
/* scalar negation */
- |
+ |
- |
+ |
@@ -1602,14 +1602,14 @@ the 900 series rules are found in the lexer. */
- operand_381 :
+ operand_381 :
- |
+ |
- |
+ |
@@ -1617,54 +1617,54 @@ the 900 series rules are found in the lexer. */
;
- operand_A_382 :
+ operand_A_382 :
- |
+ |
;
- operand_B_383 :
+ operand_B_383 :
- |
+ |
- |
+ |
;
- operand_C_385 :
+ operand_C_385 :
- |
+ |
/* lerfu string as operand – classic math variable */
- |
+ |
/* quantifies a bridi – inverse of -MOI */
- |
+ |
/* quantifies a sumti – inverse of LI */
- |
+ |
- |
+ |
- |
+ |
@@ -1676,34 +1676,34 @@ the 900 series rules are found in the lexer. */
terminals numbered less than _400, as they have grammars composed on
non-deterministic strings of selma'o. Some above _400 also are this
way, so care should be taken; this is especially true for those that
- reference
+ reference
. */
- anaphora_400 :
+ anaphora_400 :
- |
+ |
- |
+ |
;
- cmene_404 :
+ cmene_404 :
- |
+ |
;
- cmene_A_405 :
+ cmene_A_405 :
/* pause */
- |
+ |
/* pause*/
/* multiple CMENE are identified morphologically (by the lexer) - - separated by
@@ -1712,211 +1712,211 @@ the 900 series rules are found in the lexer. */
- bridi_valsi_407 :
+ bridi_valsi_407 :
- |
+ |
;
- bridi_valsi_A_408 :
+ bridi_valsi_A_408 :
- |
+ |
- |
+ |
- |
+ |
;
- para_mark_410 :
+ para_mark_410 :
- |
+ |
- |
+ |
;
- indicators_411 :
+ indicators_411 :
- |
+ |
;
- indicators_A_412 :
+ indicators_A_412 :
- |
+ |
;
- indicator_413 :
+ indicator_413 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- DOI_415 :
+ DOI_415 :
- |
+ |
- |
+ |
;
- COI_416 :
+ COI_416 :
- |
+ |
;
- COI_A_417 :
+ COI_A_417 :
- |
+ |
;
- JOIK_EK_421 :
+ JOIK_EK_421 :
- |
+ |
- |
+ |
;
- JOIK_JEK_422 :
+ JOIK_JEK_422 :
- |
+ |
- |
+ |
- |
+ |
;
- XI_424 :
+ XI_424 :
- |
+ |
;
- NU_425 :
+ NU_425 :
- |
+ |
;
- NU_A_426 :
+ NU_A_426 :
- |
+ |
- |
+ |
- |
+ |
;
- MOhE_427 :
+ MOhE_427 :
- |
+ |
;
- NIhE_428 :
+ NIhE_428 :
- |
+ |
;
- NAhU_429 :
+ NAhU_429 :
- |
+ |
;
- MAhO_430 :
+ MAhO_430 :
- |
+ |
;
- JOhI_431 :
+ JOhI_431 :
- |
+ |
;
- quote_arg_432 :
+ quote_arg_432 :
- |
+ |
;
- quote_arg_A_433 :
+ quote_arg_A_433 :
- |
+ |
- |
+ |
- |
+ |
@@ -1926,19 +1926,19 @@ the 900 series rules are found in the lexer. */
the lexer, but no additional lexer processing is needed. */
- ZOI_quote_434 :
+ ZOI_quote_434 :
- /*pause*/
- /*pause*/
+ /*pause*/
+ /*pause*/
;
-/* pause is morphemic, represented by . The lexer assembles
+/* pause is morphemic, represented by . The lexer assembles
*/
- ZO_quote_435 :
+ ZO_quote_435 :
;
@@ -1948,7 +1948,7 @@ the 900 series rules are found in the lexer. */
normal selma'o. */
- LOhU_quote_436 :
+ LOhU_quote_436 :
@@ -1988,149 +1988,149 @@ the 900 series rules are found in the lexer. */
recovers from an elision. */
- FIhO_437 :
+ FIhO_437 :
- |
+ |
;
- PEhO_438 :
+ PEhO_438 :
- |
+ |
;
- BIhE_439 :
+ BIhE_439 :
- |
+ |
;
- SEI_440 :
+ SEI_440 :
- |
+ |
;
- FUhA_441 :
+ FUhA_441 :
- |
+ |
;
- BEI_442 :
+ BEI_442 :
- |
+ |
;
- CO_443 :
+ CO_443 :
- |
+ |
;
- CEI_444 :
+ CEI_444 :
- |
+ |
;
- NA_445 :
+ NA_445 :
- |
+ |
;
- BE_446 :
+ BE_446 :
- |
+ |
;
- TUhE_447 :
+ TUhE_447 :
- |
+ |
;
- LIhU_gap_448 :
+ LIhU_gap_448 :
| error
;
- gap_450 :
+ gap_450 :
- |
+ |
| error
;
- front_gap_451 :
+ front_gap_451 :
- |
+ |
;
- MEX_gap_452 :
+ MEX_gap_452 :
- |
+ |
| error
;
- KEI_gap_453 :
+ KEI_gap_453 :
- |
+ |
| error
;
- TUhU_gap_454 :
+ TUhU_gap_454 :
- |
+ |
| error
;
- VAU_gap_456 :
+ VAU_gap_456 :
- |
+ |
| error
@@ -2139,33 +2139,33 @@ the 900 series rules are found in the lexer. */
/* redundant to attach a free modifier on the following */
- DOhU_gap_457 :
+ DOhU_gap_457 :
| error
;
- FEhU_gap_458 :
+ FEhU_gap_458 :
- |
+ |
| error
;
- SEhU_gap_459 :
+ SEhU_gap_459 :
| error
/* a free modifier on a discursive should be somewhere within the discursive.
- See
+ See
*/
;
- NUhU_gap_460 :
+ NUhU_gap_460 :
- |
+ |
| error
@@ -2173,25 +2173,25 @@ the 900 series rules are found in the lexer. */
- BOI_gap_461 :
+ BOI_gap_461 :
- |
+ |
| error
;
- sub_gap_462 :
+ sub_gap_462 :
| error
;
- LUhU_gap_463 :
+ LUhU_gap_463 :
- |
+ |
| error
@@ -2199,9 +2199,9 @@ the 900 series rules are found in the lexer. */
- GEhU_gap_464 :
+ GEhU_gap_464 :
- |
+ |
| error
@@ -2209,9 +2209,9 @@ the 900 series rules are found in the lexer. */
- MEhU_gap_465 :
+ MEhU_gap_465 :
- |
+ |
| error
@@ -2219,9 +2219,9 @@ the 900 series rules are found in the lexer. */
- KEhE_gap_466 :
+ KEhE_gap_466 :
- |
+ |
| error
@@ -2229,9 +2229,9 @@ the 900 series rules are found in the lexer. */
- BEhO_gap_467 :
+ BEhO_gap_467 :
- |
+ |
| error
@@ -2239,16 +2239,16 @@ the 900 series rules are found in the lexer. */
- TOI_gap_468 :
+ TOI_gap_468 :
| error
;
- KUhO_gap_469 :
+ KUhO_gap_469 :
- |
+ |
| error
@@ -2256,42 +2256,42 @@ the 900 series rules are found in the lexer. */
- left_bracket_470 :
+ left_bracket_470 :
- |
+ |
;
- right_bracket_gap_471 :
+ right_bracket_gap_471 :
- |
+ |
| error
;
- LOhO_gap_472 :
+ LOhO_gap_472 :
- |
+ |
| error
;
- TEhU_gap_473 :
+ TEhU_gap_473 :
- |
+ |
| error
;
- right_br_no_free_474 :
+ right_br_no_free_474 :
| error
;
@@ -2299,394 +2299,394 @@ the 900 series rules are found in the lexer. */
- NUhA_475 :
+ NUhA_475 :
- |
+ |
;
- MOI_476 :
+ MOI_476 :
- |
+ |
;
- ME_477 :
+ ME_477 :
- |
+ |
;
- JAI_478 :
+ JAI_478 :
- |
+ |
;
- BO_479 :
+ BO_479 :
- |
+ |
;
- SE_480 :
+ SE_480 :
- |
+ |
;
- FA_481 :
+ FA_481 :
- |
+ |
;
- NAhE_482 :
+ NAhE_482 :
- |
+ |
;
- qualifier_483 :
+ qualifier_483 :
- |
+ |
- |
+ |
;
- NOI_484 :
+ NOI_484 :
- |
+ |
;
- GOI_485 :
+ GOI_485 :
- |
+ |
;
- subscript_486 :
+ subscript_486 :
- |
+ |
- |
+ |
;
- ZIhE_487 :
+ ZIhE_487 :
- |
+ |
;
- LE_488 :
+ LE_488 :
- |
+ |
;
- LI_489 :
+ LI_489 :
- |
+ |
;
- mod_head_490 :
+ mod_head_490 :
- |
+ |
;
- tag_491 :
+ tag_491 :
- |
+ |
;
- ZOhU_492 :
+ ZOhU_492 :
- |
+ |
;
- KE_493 :
+ KE_493 :
- |
+ |
;
- PEhE_494 :
+ PEhE_494 :
- |
+ |
;
- CEhE_495 :
+ CEhE_495 :
- |
+ |
;
- NUhI_496 :
+ NUhI_496 :
- |
+ |
;
- VUhO_497 :
+ VUhO_497 :
- |
+ |
;
- SOI_498 :
+ SOI_498 :
- |
+ |
;
- LA_499 :
+ LA_499 :
- |
+ |
;
- utterance_ordinal_801 :
+ utterance_ordinal_801 :
;
- EK_802 :
+ EK_802 :
- |
+ |
;
- EK_BO_803 :
+ EK_BO_803 :
- |
+ |
;
- EK_KE_804 :
+ EK_KE_804 :
- |
+ |
;
- JEK_805 :
+ JEK_805 :
;
- JOIK_806 :
+ JOIK_806 :
;
- GEK_807 :
+ GEK_807 :
- |
+ |
;
- GUhEK_808 :
+ GUhEK_808 :
- |
+ |
;
- NAhE_BO_809 :
+ NAhE_BO_809 :
- |
+ |
;
- NA_KU_810 :
+ NA_KU_810 :
- |
+ |
;
- I_BO_811 :
+ I_BO_811 :
- |
+ |
;
- number_812 :
+ number_812 :
;
- GIhEK_BO_813 :
+ GIhEK_BO_813 :
- |
+ |
;
- GIhEK_KE_814 :
+ GIhEK_KE_814 :
- |
+ |
;
- tense_modal_815 :
+ tense_modal_815 :
- |
+ |
- |
+ |
;
- GIK_816 :
+ GIK_816 :
- |
+ |
;
- lerfu_string_817 :
+ lerfu_string_817 :
;
- GIhEK_818 :
+ GIhEK_818 :
- |
+ |
;
- I_819 :
+ I_819 :
- |
+ |
;
- I_JEK_820 :
+ I_JEK_820 :
- |
+ |
;
- JEK_BO_821 :
+ JEK_BO_821 :
- |
+ |
;
- JOIK_BO_822 :
+ JOIK_BO_822 :
- |
+ |
;
- JOIK_KE_823 :
+ JOIK_KE_823 :
- |
+ |
;
- PA_MOI_824 :
+ PA_MOI_824 :
;
@@ -2699,52 +2699,52 @@ the 900 series rules are found in the lexer. */
tokens. */
- lexer_A_905 :
+ lexer_A_905 :
;
- utt_ordinal_root_906 :
+ utt_ordinal_root_906 :
- |
+ |
;
- lexer_B_910 :
+ lexer_B_910 :
;
- EK_root_911 :
+ EK_root_911 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
@@ -2753,11 +2753,11 @@ the 900 series rules are found in the lexer. */
- lexer_C_915 :
+ lexer_C_915 :
- |
+ |
@@ -2766,11 +2766,11 @@ the 900 series rules are found in the lexer. */
- lexer_D_916 :
+ lexer_D_916 :
- |
+ |
@@ -2779,36 +2779,36 @@ the 900 series rules are found in the lexer. */
- lexer_E_925 :
+ lexer_E_925 :
;
- JEK_root_926 :
+ JEK_root_926 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
@@ -2817,42 +2817,42 @@ the 900 series rules are found in the lexer. */
- lexer_F_930 :
+ lexer_F_930 :
;
- JOIK_root_931 :
+ JOIK_root_931 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- interval_932 :
+ interval_932 :
- |
+ |
- |
+ |
- |
+ |
@@ -2862,27 +2862,27 @@ the 900 series rules are found in the lexer. */
- lexer_G_935 :
+ lexer_G_935 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
@@ -2890,18 +2890,18 @@ the 900 series rules are found in the lexer. */
- lexer_H_940 :
+ lexer_H_940 :
- |
+ |
- |
+ |
- |
+ |
@@ -2910,7 +2910,7 @@ the 900 series rules are found in the lexer. */
- lexer_I_945 :
+ lexer_I_945 :
@@ -2918,7 +2918,7 @@ the 900 series rules are found in the lexer. */
- lexer_J_950 :
+ lexer_J_950 :
@@ -2926,11 +2926,11 @@ the 900 series rules are found in the lexer. */
- lexer_K_955 :
+ lexer_K_955 :
- |
+ |
@@ -2938,21 +2938,21 @@ the 900 series rules are found in the lexer. */
;
- I_root_956 :
+ I_root_956 :
- |
+ |
;
- simple_JOIK_JEK_957 :
+ simple_JOIK_JEK_957 :
- |
+ |
;
- /* no freemod in this version; cf.
+ /* no freemod in this version; cf.
*/
/* this reference to a version of JOIK and JEK
which already have the lexer tokens attached
@@ -2964,29 +2964,29 @@ the 900 series rules are found in the lexer. */
- lexer_L_960 :
+ lexer_L_960 :
;
- number_root_961 :
+ number_root_961 :
- |
+ |
- |
+ |
;
- lexer_M_965 :
+ lexer_M_965 :
- |
+ |
@@ -2995,11 +2995,11 @@ the 900 series rules are found in the lexer. */
- lexer_N_966 :
+ lexer_N_966 :
- |
+ |
@@ -3008,7 +3008,7 @@ the 900 series rules are found in the lexer. */
- lexer_O_970 :
+ lexer_O_970 :
;
@@ -3017,9 +3017,9 @@ the 900 series rules are found in the lexer. */
require it to have knowledge of the main parser grammar */
- simple_tag_971 :
+ simple_tag_971 :
- |
+ |
@@ -3027,57 +3027,57 @@ the 900 series rules are found in the lexer. */
- simple_tense_modal_972 :
+ simple_tense_modal_972 :
- |
+ |
- |
+ |
- |
+ |
;
- simple_tense_modal_A_973:
+ simple_tense_modal_A_973:
- |
+ |
- |
+ |
;
- modal_974 :
+ modal_974 :
- |
+ |
;
- modal_A_975 :
+ modal_A_975 :
- |
+ |
;
- tense_A_977 :
+ tense_A_977 :
- |
+ |
;
- tense_B_978 :
+ tense_B_978 :
- |
+ |
- |
+ |
;
@@ -3091,66 +3091,66 @@ the 900 series rules are found in the lexer. */
/* canu'ojebapu'i = can, hasn't yet, but will */
- tense_C_979 :
+ tense_C_979 :
/* time-only */
/* space defaults to time-space reference space */
- |
+ |
/* can include time if specified with VIhA; otherwise time defaults to the
time-space reference time */
- |
+ |
- /* time and space – If
+ /* time and space – If
is marked with
VIhA for space-time the tense may be self-contradictory */
/* interval prop before space_time is for time distribution */
- |
+ |
;
- lexer_P_980 :
+ lexer_P_980 :
;
- GIK_root_981 :
+ GIK_root_981 :
- |
+ |
;
- lexer_Q_985 :
+ lexer_Q_985 :
;
- lerfu_string_root_986 :
+ lerfu_string_root_986 :
- |
+ |
- |
+ |
;
- lerfu_word_987 :
+ lerfu_word_987 :
- |
+ |
- |
+ |
@@ -3158,37 +3158,37 @@ the 900 series rules are found in the lexer. */
- lexer_R_990 :
+ lexer_R_990 :
;
- GIhEK_root_991 :
+ GIhEK_root_991 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
@@ -3197,13 +3197,13 @@ the 900 series rules are found in the lexer. */
- lexer_S_995 :
+ lexer_S_995 :
;
- lexer_T_1000 :
+ lexer_T_1000 :
@@ -3211,11 +3211,11 @@ the 900 series rules are found in the lexer. */
- lexer_U_1005 :
+ lexer_U_1005 :
- |
+ |
@@ -3223,11 +3223,11 @@ the 900 series rules are found in the lexer. */
;
- lexer_V_1010 :
+ lexer_V_1010 :
- |
+ |
@@ -3235,11 +3235,11 @@ the 900 series rules are found in the lexer. */
;
- lexer_W_1015 :
+ lexer_W_1015 :
- |
+ |
@@ -3247,11 +3247,11 @@ the 900 series rules are found in the lexer. */
;
- lexer_Y_1025 :
+ lexer_Y_1025 :
- |
+ |
@@ -3260,144 +3260,144 @@ the 900 series rules are found in the lexer. */
- time_1030 :
+ time_1030 :
- |
+ |
- |
+ |
;
- time_A_1031 :
+ time_A_1031 :
- |
+ |
- |
+ |
;
- time_B_1032 :
+ time_B_1032 :
- |
+ |
;
- time_offset_1033 :
+ time_offset_1033 :
- |
+ |
;
- time_interval_1034 :
+ time_interval_1034 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- time_direction_1035 :
+ time_direction_1035 :
- |
+ |
;
- time_int_props_1036 :
+ time_int_props_1036 :
- |
+ |
;
- space_1040 :
+ space_1040 :
- |
+ |
- |
+ |
;
- space_motion_1041 :
+ space_motion_1041 :
;
- space_A_1042 :
+ space_A_1042 :
- |
+ |
- |
+ |
;
- space_B_1043 :
+ space_B_1043 :
- |
+ |
- |
+ |
;
- space_C_1044 :
+ space_C_1044 :
- |
+ |
;
- space_offset_1045 :
+ space_offset_1045 :
- |
+ |
;
- space_intval_1046 :
+ space_intval_1046 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
@@ -3405,33 +3405,33 @@ the 900 series rules are found in the lexer. */
- space_intval_A_1047 :
+ space_intval_A_1047 :
- |
+ |
- |
+ |
;
- space_direction_1048 :
+ space_direction_1048 :
- |
+ |
;
- space_int_props_1049 :
+ space_int_props_1049 :
- |
+ |
;
- space_int_props_A_1050 :
+ space_int_props_A_1050 :
;
@@ -3450,21 +3450,21 @@ the 900 series rules are found in the lexer. */
- interval_property_1051 :
+ interval_property_1051 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
@@ -3500,76 +3500,76 @@ the 900 series rules are found in the lexer. */
however, and indicators should be allowed to be absorbed into almost any
word without changing its grammar.
-
-,
-, and
+
+,
+, and
are metalinguistic erasers.
- token_1100 :
+ token_1100 :
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
- |
+ |
;
- null_1101 :
+ null_1101 :
- | possibly_unlexable_word (PAUSE)
+ | possibly_unlexable_word (PAUSE)
- |
+ |
- | possibly unlexable string (PAUSE)
+ | possibly unlexable string (PAUSE)
erases back to the last individual token
I or NIhO or start of text, ignoring the
insides of ZOI, ZO, and LOhU/LEhU quotes.
Start of text is defined for SU below.
- |
+ |
- | possibly unparsable text (PAUSE)
+ | possibly unparsable text (PAUSE)
erases back to start of text which is the
beginning of a speaker's statement,
@@ -3603,7 +3603,7 @@ the 900 series rules are found in the lexer. */
anything_699
- ,
+ ,
@@ -3611,9 +3611,9 @@ the 900 series rules are found in the lexer. */
any_word_698
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -3725,12 +3725,12 @@ the 900 series rules are found in the lexer. */
BO_508
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -3738,7 +3738,7 @@ the 900 series rules are found in the lexer. */
BOI_651
- ,
+ ,
@@ -3746,8 +3746,8 @@ the 900 series rules are found in the lexer. */
BOI_gap_461
- ,
- ,
+ ,
+ ,
@@ -3755,7 +3755,7 @@ the 900 series rules are found in the lexer. */
bridi_tail_50
- ,
+ ,
@@ -3763,7 +3763,7 @@ the 900 series rules are found in the lexer. */
bridi_tail_A_51
- ,
+ ,
@@ -3771,7 +3771,7 @@ the 900 series rules are found in the lexer. */
bridi_tail_B_52
- ,
+ ,
@@ -3835,7 +3835,7 @@ the 900 series rules are found in the lexer. */
CAI_515
- ,
+ ,
@@ -3875,8 +3875,8 @@ the 900 series rules are found in the lexer. */
cmene_404
- ,
- ,
+ ,
+ ,
@@ -3892,7 +3892,7 @@ the 900 series rules are found in the lexer. */
cmene_A_405
- ,
+ ,
@@ -3916,7 +3916,7 @@ the 900 series rules are found in the lexer. */
COI_416
- ,
+ ,
@@ -3956,7 +3956,7 @@ the 900 series rules are found in the lexer. */
DAhO_524
- ,
+ ,
@@ -4012,7 +4012,7 @@ the 900 series rules are found in the lexer. */
EK_802
- ,
+ ,
@@ -4020,7 +4020,7 @@ the 900 series rules are found in the lexer. */
EK_BO_803
- ,
+ ,
@@ -4028,7 +4028,7 @@ the 900 series rules are found in the lexer. */
EK_KE_804
- ,
+ ,
@@ -4036,8 +4036,8 @@ the 900 series rules are found in the lexer. */
EK_root_911
- ,
- ,
+ ,
+ ,
@@ -4045,28 +4045,28 @@ the 900 series rules are found in the lexer. */
error
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -4154,92 +4154,92 @@ the 900 series rules are found in the lexer. */
free_modifier_32
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -4255,7 +4255,7 @@ the 900 series rules are found in the lexer. */
front_gap_451
- ,
+ ,
@@ -4279,7 +4279,7 @@ the 900 series rules are found in the lexer. */
FUhE_535
- ,
+ ,
@@ -4287,7 +4287,7 @@ the 900 series rules are found in the lexer. */
FUhO_536
- ,
+ ,
@@ -4311,8 +4311,8 @@ the 900 series rules are found in the lexer. */
gap_450
- ,
- ,
+ ,
+ ,
@@ -4336,9 +4336,9 @@ the 900 series rules are found in the lexer. */
GEK_807
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -4346,7 +4346,7 @@ the 900 series rules are found in the lexer. */
gek_sentence_54
- ,
+ ,
@@ -4354,7 +4354,7 @@ the 900 series rules are found in the lexer. */
GI_539
- ,
+ ,
@@ -4370,7 +4370,7 @@ the 900 series rules are found in the lexer. */
GIhEK_818
- ,
+ ,
@@ -4394,8 +4394,8 @@ the 900 series rules are found in the lexer. */
GIhEK_root_991
- ,
- ,
+ ,
+ ,
@@ -4403,11 +4403,11 @@ the 900 series rules are found in the lexer. */
GIK_816
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -4415,7 +4415,7 @@ the 900 series rules are found in the lexer. */
GIK_root_981
- ,
+ ,
@@ -4455,7 +4455,7 @@ the 900 series rules are found in the lexer. */
GUhEK_808
- ,
+ ,
@@ -4471,8 +4471,8 @@ the 900 series rules are found in the lexer. */
I_545
- ,
- ,
+ ,
+ ,
@@ -4480,7 +4480,7 @@ the 900 series rules are found in the lexer. */
I_819
- ,
+ ,
@@ -4488,7 +4488,7 @@ the 900 series rules are found in the lexer. */
I_BO_811
- ,
+ ,
@@ -4496,7 +4496,7 @@ the 900 series rules are found in the lexer. */
I_JEK_820
- ,
+ ,
@@ -4520,7 +4520,7 @@ the 900 series rules are found in the lexer. */
indicators_A_412
- ,
+ ,
@@ -4536,7 +4536,7 @@ the 900 series rules are found in the lexer. */
interval_property_1051
- ,
+ ,
@@ -4576,7 +4576,7 @@ the 900 series rules are found in the lexer. */
JEK_805
- ,
+ ,
@@ -4584,7 +4584,7 @@ the 900 series rules are found in the lexer. */
JEK_BO_821
- ,
+ ,
@@ -4592,7 +4592,7 @@ the 900 series rules are found in the lexer. */
JEK_root_926
- ,
+ ,
@@ -4624,8 +4624,8 @@ the 900 series rules are found in the lexer. */
JOIK_806
- ,
- ,
+ ,
+ ,
@@ -4633,9 +4633,9 @@ the 900 series rules are found in the lexer. */
JOIK_BO_822
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -4643,7 +4643,7 @@ the 900 series rules are found in the lexer. */
JOIK_EK_421
- ,
+ ,
@@ -4651,11 +4651,11 @@ the 900 series rules are found in the lexer. */
JOIK_JEK_422
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -4663,9 +4663,9 @@ the 900 series rules are found in the lexer. */
JOIK_KE_823
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -4673,9 +4673,9 @@ the 900 series rules are found in the lexer. */
JOIK_root_931
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -4683,8 +4683,8 @@ the 900 series rules are found in the lexer. */
KE_493
- ,
- ,
+ ,
+ ,
@@ -4692,9 +4692,9 @@ the 900 series rules are found in the lexer. */
KE_551
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -4710,13 +4710,13 @@ the 900 series rules are found in the lexer. */
KEhE_gap_466
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -4740,8 +4740,8 @@ the 900 series rules are found in the lexer. */
KI_554
- ,
- ,
+ ,
+ ,
@@ -4757,7 +4757,7 @@ the 900 series rules are found in the lexer. */
KU_556
- ,
+ ,
@@ -4789,7 +4789,7 @@ the 900 series rules are found in the lexer. */
LA_499
- ,
+ ,
@@ -4837,7 +4837,7 @@ the 900 series rules are found in the lexer. */
left_bracket_470
- ,
+ ,
@@ -4853,8 +4853,8 @@ the 900 series rules are found in the lexer. */
lerfu_string_817
- ,
- ,
+ ,
+ ,
@@ -4862,10 +4862,10 @@ the 900 series rules are found in the lexer. */
lerfu_string_root_986
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
@@ -4873,8 +4873,8 @@ the 900 series rules are found in the lexer. */
lerfu_word_987
- ,
- ,
+ ,
+ ,
@@ -5298,7 +5298,7 @@ the 900 series rules are found in the lexer. */
linkargs_160
- ,
+ ,
@@ -5306,8 +5306,8 @@ the 900 series rules are found in the lexer. */
links_161
- ,
- ,
+ ,
+ ,
@@ -5363,7 +5363,7 @@ the 900 series rules are found in the lexer. */
LUhU_gap_463
- ,
+ ,
@@ -5427,10 +5427,10 @@ the 900 series rules are found in the lexer. */
MEX_310
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
@@ -5438,7 +5438,7 @@ the 900 series rules are found in the lexer. */
MEX_A_311
- ,
+ ,
@@ -5446,7 +5446,7 @@ the 900 series rules are found in the lexer. */
MEX_B_312
- ,
+ ,
@@ -5454,8 +5454,8 @@ the 900 series rules are found in the lexer. */
MEX_C_313
- ,
- ,
+ ,
+ ,
@@ -5471,8 +5471,8 @@ the 900 series rules are found in the lexer. */
MEX_operator_374
- ,
- ,
+ ,
+ ,
@@ -5544,7 +5544,7 @@ the 900 series rules are found in the lexer. */
MOI_663
- ,
+ ,
@@ -5552,8 +5552,8 @@ the 900 series rules are found in the lexer. */
NA_445
- ,
- ,
+ ,
+ ,
@@ -5561,10 +5561,10 @@ the 900 series rules are found in the lexer. */
NA_578
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
@@ -5572,8 +5572,8 @@ the 900 series rules are found in the lexer. */
NAhE_482
- ,
- ,
+ ,
+ ,
@@ -5581,8 +5581,8 @@ the 900 series rules are found in the lexer. */
NAhE_583
- ,
- ,
+ ,
+ ,
@@ -5614,22 +5614,22 @@ the 900 series rules are found in the lexer. */
NAI_581
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -5685,7 +5685,7 @@ the 900 series rules are found in the lexer. */
NU_425
- ,
+ ,
@@ -5757,7 +5757,7 @@ the 900 series rules are found in the lexer. */
number_812
- ,
+ ,
@@ -5765,10 +5765,10 @@ the 900 series rules are found in the lexer. */
number_root_961
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
@@ -5776,9 +5776,9 @@ the 900 series rules are found in the lexer. */
operand_381
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -5786,7 +5786,7 @@ the 900 series rules are found in the lexer. */
operand_A_382
- ,
+ ,
@@ -5794,7 +5794,7 @@ the 900 series rules are found in the lexer. */
operand_B_383
- ,
+ ,
@@ -5802,7 +5802,7 @@ the 900 series rules are found in the lexer. */
operand_C_385
- ,
+ ,
@@ -5810,11 +5810,11 @@ the 900 series rules are found in the lexer. */
operator_370
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -5822,7 +5822,7 @@ the 900 series rules are found in the lexer. */
operator_A_371
- ,
+ ,
@@ -5838,7 +5838,7 @@ the 900 series rules are found in the lexer. */
PA_672
- ,
+ ,
@@ -5854,7 +5854,7 @@ the 900 series rules are found in the lexer. */
paragraph_10
- ,
+ ,
@@ -5862,7 +5862,7 @@ the 900 series rules are found in the lexer. */
paragraphs_4
- ,
+ ,
@@ -5870,8 +5870,8 @@ the 900 series rules are found in the lexer. */
para_mark_410
- ,
- ,
+ ,
+ ,
@@ -5919,8 +5919,8 @@ the 900 series rules are found in the lexer. */
prenex_30
- ,
- ,
+ ,
+ ,
@@ -5936,7 +5936,7 @@ the 900 series rules are found in the lexer. */
qualifier_483
- ,
+ ,
@@ -5944,10 +5944,10 @@ the 900 series rules are found in the lexer. */
quantifier_300
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
@@ -5987,13 +5987,13 @@ the 900 series rules are found in the lexer. */
relative_clauses_121
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -6025,7 +6025,7 @@ the 900 series rules are found in the lexer. */
rp_expression_330
- ,
+ ,
@@ -6049,7 +6049,7 @@ the 900 series rules are found in the lexer. */
SE_480
- ,
+ ,
@@ -6057,14 +6057,14 @@ the 900 series rules are found in the lexer. */
SE_596
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -6104,15 +6104,15 @@ the 900 series rules are found in the lexer. */
selbri_130
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -6128,7 +6128,7 @@ the 900 series rules are found in the lexer. */
selbri_B_132
- ,
+ ,
@@ -6136,9 +6136,9 @@ the 900 series rules are found in the lexer. */
selbri_C_133
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -6146,7 +6146,7 @@ the 900 series rules are found in the lexer. */
selbri_D_134
- ,
+ ,
@@ -6154,7 +6154,7 @@ the 900 series rules are found in the lexer. */
selbri_E_135
- ,
+ ,
@@ -6162,8 +6162,8 @@ the 900 series rules are found in the lexer. */
selbri_F_136
- ,
- ,
+ ,
+ ,
@@ -6171,7 +6171,7 @@ the 900 series rules are found in the lexer. */
sentence_40
- ,
+ ,
@@ -6187,8 +6187,8 @@ the 900 series rules are found in the lexer. */
simple_JOIK_JEK_957
- ,
- ,
+ ,
+ ,
@@ -6196,15 +6196,15 @@ the 900 series rules are found in the lexer. */
simple_tag_971
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -6212,7 +6212,7 @@ the 900 series rules are found in the lexer. */
simple_tense_modal_972
- ,
+ ,
@@ -6268,7 +6268,7 @@ the 900 series rules are found in the lexer. */
space_C_1044
- ,
+ ,
@@ -6276,7 +6276,7 @@ the 900 series rules are found in the lexer. */
space_direction_1048
- ,
+ ,
@@ -6284,7 +6284,7 @@ the 900 series rules are found in the lexer. */
space_int_props_1049
- ,
+ ,
@@ -6324,7 +6324,7 @@ the 900 series rules are found in the lexer. */
space_offset_1045
- ,
+ ,
@@ -6332,7 +6332,7 @@ the 900 series rules are found in the lexer. */
statement_11
- ,
+ ,
@@ -6340,7 +6340,7 @@ the 900 series rules are found in the lexer. */
statement_A_12
- ,
+ ,
@@ -6348,7 +6348,7 @@ the 900 series rules are found in the lexer. */
statement_B_13
- ,
+ ,
@@ -6388,9 +6388,9 @@ the 900 series rules are found in the lexer. */
subsentence_41
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -6398,15 +6398,15 @@ the 900 series rules are found in the lexer. */
sumti_90
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -6422,7 +6422,7 @@ the 900 series rules are found in the lexer. */
sumti_B_92
- ,
+ ,
@@ -6430,7 +6430,7 @@ the 900 series rules are found in the lexer. */
sumti_C_93
- ,
+ ,
@@ -6438,7 +6438,7 @@ the 900 series rules are found in the lexer. */
sumti_D_94
- ,
+ ,
@@ -6462,7 +6462,7 @@ the 900 series rules are found in the lexer. */
sumti_G_97
- ,
+ ,
@@ -6486,11 +6486,11 @@ the 900 series rules are found in the lexer. */
tag_491
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -6506,10 +6506,10 @@ the 900 series rules are found in the lexer. */
tail_terms_71
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
@@ -6517,7 +6517,7 @@ the 900 series rules are found in the lexer. */
tanru_unit_150
- ,
+ ,
@@ -6533,7 +6533,7 @@ the 900 series rules are found in the lexer. */
tanru_unit_B_152
- ,
+ ,
@@ -6549,7 +6549,7 @@ the 900 series rules are found in the lexer. */
TEhU_gap_473
- ,
+ ,
@@ -6597,9 +6597,9 @@ the 900 series rules are found in the lexer. */
term_83
- ,
- ,
- ,
+ ,
+ ,
+ ,
@@ -6607,12 +6607,12 @@ the 900 series rules are found in the lexer. */
terms_80
- ,
- ,
- ,
- ,
- ,
- ,
+ ,
+ ,
+ ,
+ ,
+ ,
+ ,
@@ -6620,7 +6620,7 @@ the 900 series rules are found in the lexer. */
terms_A_81
- ,
+ ,
@@ -6628,7 +6628,7 @@ the 900 series rules are found in the lexer. */
terms_B_82
- ,
+ ,
@@ -6644,8 +6644,8 @@ the 900 series rules are found in the lexer. */
text_0
- ,
- ,
+ ,
+ ,
@@ -6661,8 +6661,8 @@ the 900 series rules are found in the lexer. */
text_B_2
- ,
- ,
+ ,
+ ,
@@ -6670,7 +6670,7 @@ the 900 series rules are found in the lexer. */
text_C_3
- ,
+ ,
@@ -6694,7 +6694,7 @@ the 900 series rules are found in the lexer. */
time_B_1032
- ,
+ ,
@@ -6702,7 +6702,7 @@ the 900 series rules are found in the lexer. */
time_direction_1035
- ,
+ ,
@@ -6718,7 +6718,7 @@ the 900 series rules are found in the lexer. */
time_int_props_1036
- ,
+ ,
@@ -6790,7 +6790,7 @@ the 900 series rules are found in the lexer. */
UI_612
- ,
+ ,
@@ -6822,7 +6822,7 @@ the 900 series rules are found in the lexer. */
VA_613
- ,
+ ,
@@ -6838,7 +6838,7 @@ the 900 series rules are found in the lexer. */
VAU_gap_456
- ,
+ ,
@@ -6854,7 +6854,7 @@ the 900 series rules are found in the lexer. */
VEhO_678
- ,
+ ,
@@ -6926,7 +6926,7 @@ the 900 series rules are found in the lexer. */
Y_619
- ,
+ ,
@@ -6950,7 +6950,7 @@ the 900 series rules are found in the lexer. */
ZI_624
- ,
+ ,
@@ -7026,10 +7026,10 @@ the 900 series rules are found in the lexer. */
Lojban Machine Grammar, EBNF Version, Final BaselineThis EBNF document is explicitly dedicated to the public domain by its author, The Logical Language Group, Inc. Contact that organization at: 2904 Beau Lane, Fairfax VA 22031 USA 703-385-0273 (intl: +1 703 385 0273)Explanation of notation: All rules have the form:
- name
+ name
number= bnf-expression
- which means that the grammatical construct name is defined by bnf-expression. The number cross-references this grammar with the rule numbers in the YACC grammar. The names are the same as those in the YACC grammar, except that subrules are labeled with A, B, C, ... in the YACC grammar and with 1, 2, 3, ... in this grammar. In addition, rule 971 is simple_tag in the YACC grammar but stag in this grammar, because of its frequent appearance.
-
+ which means that the grammatical construct name is defined by bnf-expression.
+
Names in lower case are grammatical constructs.
@@ -7067,780 +7067,780 @@ the 900 series rules are found in the lexer. */
- text
+ text
0=
- [NAI ...] [CMENE ... # | (indicators & free ...)] [joik-jek] text-1
+ [NAI ...] [CMENE ... # | (indicators & free ...)] [joik-jek] text-1
- text-1
+ text-1
2=
- [(I [jek | joik] [[stag] BO] #) ... | NIhO ... #] [paragraphs]
+ [(I [jek | joik] [[stag] BO] #) ... | NIhO ... #] [paragraphs]
- paragraphs
+ paragraphs
4=
- paragraph [NIhO ... # paragraphs]
+ paragraph [NIhO ... # paragraphs]
- paragraph
+ paragraph
10=
- (statement | fragment) [I # [statement | fragment]] ...
+ (statement | fragment) [I # [statement | fragment]] ...
- statement
+ statement
11=
- statement-1 | prenex statement
+ statement-1 | prenex statement
- statement-1
+ statement-1
12=
- statement-2 [I joik-jek [statement-2]] ...
+ statement-2 [I joik-jek [statement-2]] ...
- statement-2
+ statement-2
13=
- statement-3 [I [jek | joik] [stag] BO # [statement-2]]
+ statement-3 [I [jek | joik] [stag] BO # [statement-2]]
- statement-3
+ statement-3
14=
- sentence | [tag] TUhE # text-1 /TUhU#/
+ sentence | [tag] TUhE # text-1 /TUhU#/
- fragment
+ fragment
20=
- ek # | gihek # | quantifier | NA # | terms /VAU#/ | prenex | relative-clauses | links | linkargs
+ ek # | gihek # | quantifier | NA # | terms /VAU#/ | prenex | relative-clauses | links | linkargs
- prenex
+ prenex
30=
- terms ZOhU #
+ terms ZOhU #
- sentence
+ sentence
40=
- [terms [CU #]] bridi-tail
+ [terms [CU #]] bridi-tail
- subsentence
+ subsentence
41=
- sentence | prenex subsentence
+ sentence | prenex subsentence
- bridi-tail
+ bridi-tail
50=
- bridi-tail-1 [gihek [stag] KE # bridi-tail /KEhE#/ tail-terms]
+ bridi-tail-1 [gihek [stag] KE # bridi-tail /KEhE#/ tail-terms]
- bridi-tail-1
+ bridi-tail-1
51=
- bridi-tail-2 [gihek # bridi-tail-2 tail-terms] ...
+ bridi-tail-2 [gihek # bridi-tail-2 tail-terms] ...
- bridi-tail-2
+ bridi-tail-2
52=
- bridi-tail-3 [gihek [stag] BO # bridi-tail-2 tail-terms]
+ bridi-tail-3 [gihek [stag] BO # bridi-tail-2 tail-terms]
- bridi-tail-3
+ bridi-tail-3
53=
- selbri tail-terms | gek-sentence
+ selbri tail-terms | gek-sentence
- gek-sentence
+ gek-sentence
54=
- gek subsentence gik subsentence tail-terms | [tag] KE # gek-sentence /KEhE#/ | NA # gek-sentence
+ gek subsentence gik subsentence tail-terms | [tag] KE # gek-sentence /KEhE#/ | NA # gek-sentence
- tail-terms
+ tail-terms
71=
- [terms] /VAU#/
+ [terms] /VAU#/
- terms
+ terms
80=
- terms-1 ...
+ terms-1 ...
- terms-1
+ terms-1
81=
- terms-2 [PEhE # joik-jek terms-2] ...
+ terms-2 [PEhE # joik-jek terms-2] ...
- terms-2
+ terms-2
82=
- term [CEhE # term] ...
+ term [CEhE # term] ...
- term
+ term
83=
- sumti | (tag | FA #) (sumti | /KU#/) | termset | NA KU #
+ sumti | (tag | FA #) (sumti | /KU#/) | termset | NA KU #
- termset
+ termset
85=
- NUhI # gek terms /NUhU#/ gik terms /NUhU#/ | NUhI # terms /NUhU#/
+ NUhI # gek terms /NUhU#/ gik terms /NUhU#/ | NUhI # terms /NUhU#/
- sumti
+ sumti
90=
- sumti-1 [VUhO # relative-clauses]
+ sumti-1 [VUhO # relative-clauses]
- sumti-1
+ sumti-1
91=
- sumti-2 [(ek | joik) [stag] KE # sumti /KEhE#/]
+ sumti-2 [(ek | joik) [stag] KE # sumti /KEhE#/]
- sumti-2
+ sumti-2
92=
- sumti-3 [joik-ek sumti-3] ...
+ sumti-3 [joik-ek sumti-3] ...
- sumti-3
+ sumti-3
93=
- sumti-4 [(ek | joik) [stag] BO # sumti-3]
+ sumti-4 [(ek | joik) [stag] BO # sumti-3]
- sumti-4
+ sumti-4
94=
- sumti-5 | gek sumti gik sumti-4
+ sumti-5 | gek sumti gik sumti-4
- sumti-5
+ sumti-5
95=
- [quantifier] sumti-6 [relative-clauses] | quantifier selbri /KU#/ [relative-clauses]
+ [quantifier] sumti-6 [relative-clauses] | quantifier selbri /KU#/ [relative-clauses]
- sumti-6
+ sumti-6
97=
- (LAhE # | NAhE BO #) [relative-clauses] sumti /LUhU#/ | KOhA # | lerfu-string /BOI#/ | LA # [relative-clauses] CMENE ... # | (LA | LE) # sumti-tail /KU#/ | LI # mex /LOhO#/ | ZO any-word # | LU text /LIhU#/ | LOhU any-word ... LEhU # | ZOI any-word anything any-word #
+ (LAhE # | NAhE BO #) [relative-clauses] sumti /LUhU#/ | KOhA # | lerfu-string /BOI#/ | LA # [relative-clauses] CMENE ... # | (LA | LE) # sumti-tail /KU#/ | LI # mex /LOhO#/ | ZO any-word # | LU text /LIhU#/ | LOhU any-word ... LEhU # | ZOI any-word anything any-word #
- sumti-tail
+ sumti-tail
111=
- [sumti-6 [relative-clauses]] sumti-tail-1 | relative-clauses sumti-tail-1
+ [sumti-6 [relative-clauses]] sumti-tail-1 | relative-clauses sumti-tail-1
- sumti-tail-1
+ sumti-tail-1
112=
- [quantifier] selbri [relative-clauses] | quantifier sumti
+ [quantifier] selbri [relative-clauses] | quantifier sumti
- relative-clauses
+ relative-clauses
121=
- relative-clause [ZIhE # relative-clause] ...
+ relative-clause [ZIhE # relative-clause] ...
- relative-clause
+ relative-clause
122=
- GOI # term /GEhU#/ | NOI # subsentence /KUhO#/
+ GOI # term /GEhU#/ | NOI # subsentence /KUhO#/
- selbri
+ selbri
130=
- [tag] selbri-1
+ [tag] selbri-1
- selbri-1
+ selbri-1
131=
- selbri-2 | NA # selbri
+ selbri-2 | NA # selbri
- selbri-2
+ selbri-2
132=
- selbri-3 [CO # selbri-2]
+ selbri-3 [CO # selbri-2]
- selbri-3
+ selbri-3
133=
- selbri-4 ...
+ selbri-4 ...
- selbri-4
+ selbri-4
134=
- selbri-5 [joik-jek selbri-5 | joik [stag] KE # selbri-3 /KEhE#/] ...
+ selbri-5 [joik-jek selbri-5 | joik [stag] KE # selbri-3 /KEhE#/] ...
- selbri-5
+ selbri-5
135=
- selbri-6 [(jek | joik) [stag] BO # selbri-5]
+ selbri-6 [(jek | joik) [stag] BO # selbri-5]
- selbri-6
+ selbri-6
136=
- tanru-unit [BO # selbri-6] | [NAhE #] guhek selbri gik selbri-6
-
+ tanru-unit [BO # selbri-6] | [NAhE #] guhek selbri gik selbri-6
+
- tanru-unit
+ tanru-unit
150=
- tanru-unit-1 [CEI # tanru-unit-1] ...
+ tanru-unit-1 [CEI # tanru-unit-1] ...
- tanru-unit-1
+ tanru-unit-1
151=
- tanru-unit-2 [linkargs]
+ tanru-unit-2 [linkargs]
- tanru-unit-2
+ tanru-unit-2
152=
- BRIVLA # | GOhA [RAhO] # | KE # selbri-3 /KEhE#/ | ME # sumti /MEhU#/ [MOI #] | (number | lerfu-string) MOI # | NUhA # mex-operator | SE # tanru-unit-2 | JAI # [tag] tanru-unit-2 | any-word (ZEI any-word) ... | NAhE # tanru-unit-2 | NU [NAI] # [joik-jek NU [NAI] #] ... subsentence /KEI#/
+ BRIVLA # | GOhA [RAhO] # | KE # selbri-3 /KEhE#/ | ME # sumti /MEhU#/ [MOI #] | (number | lerfu-string) MOI # | NUhA # mex-operator | SE # tanru-unit-2 | JAI # [tag] tanru-unit-2 | any-word (ZEI any-word) ... | NAhE # tanru-unit-2 | NU [NAI] # [joik-jek NU [NAI] #] ... subsentence /KEI#/
- linkargs
+ linkargs
160=
- BE # term [links] /BEhO#/
+ BE # term [links] /BEhO#/
- links
+ links
161=
- BEI # term [links]
+ BEI # term [links]
- quantifier
+ quantifier
300=
- number /BOI#/ | VEI # mex /VEhO#/
+ number /BOI#/ | VEI # mex /VEhO#/
- mex
+ mex
310=
- mex-1 [operator mex-1] ... | FUhA # rp-expression
+ mex-1 [operator mex-1] ... | FUhA # rp-expression
- mex-1
+ mex-1
311=
- mex-2 [BIhE # operator mex-1]
+ mex-2 [BIhE # operator mex-1]
- mex-2
+ mex-2
312=
- operand | [PEhO #] operator mex-2 ... /KUhE#/
+ operand | [PEhO #] operator mex-2 ... /KUhE#/
- rp-expression
+ rp-expression
330=
- rp-operand rp-operand operator
+ rp-operand rp-operand operator
- rp-operand
+ rp-operand
332=
- operand | rp-expression
+ operand | rp-expression
- operator
+ operator
370=
- operator-1 [joik-jek operator-1 | joik [stag] KE # operator /KEhE#/] ...
+ operator-1 [joik-jek operator-1 | joik [stag] KE # operator /KEhE#/] ...
- operator-1
+ operator-1
371=
- operator-2 | guhek operator-1 gik operator-2 | operator-2 (jek | joik) [stag] BO # operator-1
-
+ operator-2 | guhek operator-1 gik operator-2 | operator-2 (jek | joik) [stag] BO # operator-1
+
- operator-2
+ operator-2
372=
- mex-operator | KE # operator /KEhE#/
+ mex-operator | KE # operator /KEhE#/
- mex-operator
+ mex-operator
374=
- SE # mex-operator | NAhE # mex-operator | MAhO # mex /TEhU#/ | NAhU # selbri /TEhU#/ | VUhU #
+ SE # mex-operator | NAhE # mex-operator | MAhO # mex /TEhU#/ | NAhU # selbri /TEhU#/ | VUhU #
- operand
+ operand
381=
- operand-1 [(ek | joik) [stag] KE # operand /KEhE#/]
+ operand-1 [(ek | joik) [stag] KE # operand /KEhE#/]
- operand-1
+ operand-1
382=
- operand-2 [joik-ek operand-2] ...
+ operand-2 [joik-ek operand-2] ...
- operand-2
+ operand-2
383=
- operand-3 [(ek | joik) [stag] BO # operand-2]
+ operand-3 [(ek | joik) [stag] BO # operand-2]
- operand-3
+ operand-3
385=
- quantifier | lerfu-string /BOI#/ | NIhE # selbri /TEhU#/ | MOhE # sumti /TEhU#/ | JOhI # mex-2 ... /TEhU#/ | gek operand gik operand-3 | (LAhE # | NAhE BO #) operand /LUhU#/
+ quantifier | lerfu-string /BOI#/ | NIhE # selbri /TEhU#/ | MOhE # sumti /TEhU#/ | JOhI # mex-2 ... /TEhU#/ | gek operand gik operand-3 | (LAhE # | NAhE BO #) operand /LUhU#/
- number
+ number
812=
- PA [PA | lerfu-word] ...
+ PA [PA | lerfu-word] ...
- lerfu-string
+ lerfu-string
817=
- lerfu-word [PA | lerfu-word] ...
+ lerfu-word [PA | lerfu-word] ...
- lerfu-word
+ lerfu-word
987=
- BY | any-word BU | LAU lerfu-word | TEI lerfu-string FOI
+ BY | any-word BU | LAU lerfu-word | TEI lerfu-string FOI
- ek
+ ek
802=
- [NA] [SE] A [NAI]
+ [NA] [SE] A [NAI]
- gihek
+ gihek
818=
- [NA] [SE] GIhA [NAI]
+ [NA] [SE] GIhA [NAI]
- jek
+ jek
805=
- [NA] [SE] JA [NAI]
+ [NA] [SE] JA [NAI]
- joik
+ joik
806=
- [SE] JOI [NAI] | interval | GAhO interval GAhO
+ [SE] JOI [NAI] | interval | GAhO interval GAhO
- interval
+ interval
932=
- [SE] BIhI [NAI]
+ [SE] BIhI [NAI]
- joik-ek
+ joik-ek
421=
- joik # | ek #
+ joik # | ek #
- joik-jek
+ joik-jek
422=
- joik # | jek #
+ joik # | jek #
- gek
+ gek
807=
- [SE] GA [NAI] # | joik GI # | stag gik
+ [SE] GA [NAI] # | joik GI # | stag gik
- guhek
-
+ guhek
+
808=
- [SE] GUhA [NAI] #
+ [SE] GUhA [NAI] #
- gik
+ gik
816=
- GI [NAI] #
+ GI [NAI] #
- tag
+ tag
491=
- tense-modal [joik-jek tense-modal] ...
+ tense-modal [joik-jek tense-modal] ...
- stag
+ stag
971=
- simple-tense-modal [(jek | joik) simple-tense-modal] ...
+ simple-tense-modal [(jek | joik) simple-tense-modal] ...
- tense-modal
+ tense-modal
815=
- simple-tense-modal # | FIhO # selbri /FEhU#/
+ simple-tense-modal # | FIhO # selbri /FEhU#/
- simple-tense-modal
+ simple-tense-modal
972=
- [NAhE] [SE] BAI [NAI] [KI] | [NAhE] (time [space] | space [time]) & CAhA [KI] | KI | CUhE
+ [NAhE] [SE] BAI [NAI] [KI] | [NAhE] (time [space] | space [time]) & CAhA [KI] | KI | CUhE
- time
+ time
1030=ZI & time-offset ... & (ZEhA [PU [NAI]]) & interval-property ...
@@ -7850,97 +7850,97 @@ the 900 series rules are found in the lexer. */
- time-offset
+ time-offset
1033=
- PU [NAI] [ZI]
+ PU [NAI] [ZI]
- space
+ space
1040=
- VA & space-offset ... & space-interval & (MOhI space-offset)
+ VA & space-offset ... & space-interval & (MOhI space-offset)
- space-offset
+ space-offset
1045=
- FAhA [NAI] [VA]
+ FAhA [NAI] [VA]
- space-interval
+ space-interval
1046=
- ((VEhA & VIhA) [FAhA [NAI]]) & space-int-props
+ ((VEhA & VIhA) [FAhA [NAI]]) & space-int-props
- space-int-props
+ space-int-props
1049=
- (FEhE interval-property) ...
+ (FEhE interval-property) ...
- interval-property
+ interval-property
1051=
- number ROI [NAI] | TAhE [NAI] | ZAhO [NAI]
+ number ROI [NAI] | TAhE [NAI] | ZAhO [NAI]
- free
+ free
32=
- SEI # [terms [CU #]] selbri /SEhU/ | SOI # sumti [sumti] /SEhU/ | vocative [relative-clauses] selbri [relative-clauses] /DOhU/ | vocative [relative-clauses] CMENE ... # [relative-clauses] /DOhU/ | vocative [sumti] /DOhU/ | (number | lerfu-string) MAI | TO text /TOI/ | XI # (number | lerfu-string) /BOI/ | XI # VEI # mex /VEhO/
+ SEI # [terms [CU #]] selbri /SEhU/ | SOI # sumti [sumti] /SEhU/ | vocative [relative-clauses] selbri [relative-clauses] /DOhU/ | vocative [relative-clauses] CMENE ... # [relative-clauses] /DOhU/ | vocative [sumti] /DOhU/ | (number | lerfu-string) MAI | TO text /TOI/ | XI # (number | lerfu-string) /BOI/ | XI # VEI # mex /VEhO/
- vocative
+ vocative
415=
- (COI [NAI]) ... & DOI
+ (COI [NAI]) ... & DOI
- indicators
+ indicators
411=
- [FUhE] indicator ...
+ [FUhE] indicator ...
- indicator
+ indicator
413=(UI | CAI) [NAI] | Y | DAhO | FUhO
@@ -7953,7 +7953,7 @@ the 900 series rules are found in the lexer. */
- word
+ word
1100=[BAhE] any-word [indicators]
@@ -7968,14 +7968,14 @@ the 900 series rules are found in the lexer. */
anything =
- any text at all, whether Lojban or not
+ any text at all, whether Lojban or not
- null
+ null
1101=any-word SI | utterance SA | text SU
@@ -8064,23 +8064,23 @@ the 900 series rules are found in the lexer. */
- 52,
+ 52,
- 383,
+ 383,
- 385,
+ 385,
- 371,
+ 371,
- 135,
+ 135,
- 136,
+ 136,
- 13,
+ 13,
- 93,
+ 93,
- 97,
+ 97,
2
@@ -8090,11 +8090,11 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
- 385,
+ 385,
- 300,
+ 300,
97
@@ -8167,9 +8167,9 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
- 97,
+ 97,
0
@@ -8197,7 +8197,7 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
40
@@ -8252,7 +8252,7 @@ the 900 series rules are found in the lexer. */
- 1046,
+ 1046,
1045
@@ -8352,7 +8352,7 @@ the 900 series rules are found in the lexer. */
- 807,
+ 807,
816
@@ -8398,11 +8398,11 @@ the 900 series rules are found in the lexer. */
- 10,
+ 10,
- 12,
+ 12,
- 13,
+ 13,
2
@@ -8448,19 +8448,19 @@ the 900 series rules are found in the lexer. */
- 50,
+ 50,
- 54,
+ 54,
- 381,
+ 381,
- 372,
+ 372,
- 370,
+ 370,
- 134,
+ 134,
- 91,
+ 91,
152
@@ -8479,19 +8479,19 @@ the 900 series rules are found in the lexer. */
- 50,
+ 50,
- 54,
+ 54,
- 381,
+ 381,
- 372,
+ 372,
- 370,
+ 370,
- 134,
+ 134,
- 91,
+ 91,
152
@@ -8519,9 +8519,9 @@ the 900 series rules are found in the lexer. */
- 95,
+ 95,
- 97,
+ 97,
83
@@ -8567,7 +8567,7 @@ the 900 series rules are found in the lexer. */
- 385,
+ 385,
97
@@ -8640,7 +8640,7 @@ the 900 series rules are found in the lexer. */
- 385,
+ 385,
97
@@ -8713,17 +8713,17 @@ the 900 series rules are found in the lexer. */
- 802,
+ 802,
- 20,
+ 20,
- 54,
+ 54,
- 818,
+ 818,
- 805,
+ 805,
- 131,
+ 131,
83
@@ -8733,39 +8733,39 @@ the 900 series rules are found in the lexer. */
- 802,
+ 802,
- 807,
+ 807,
- 818,
+ 818,
- 816,
+ 816,
- 808,
+ 808,
- 413,
+ 413,
- 1051,
+ 1051,
- 932,
+ 932,
- 805,
+ 805,
- 806,
+ 806,
- 972,
+ 972,
- 1046,
+ 1046,
- 1045,
+ 1045,
- 152,
+ 152,
- 0,
+ 0,
- 1033,
+ 1033,
- 1030,
+ 1030,
415
@@ -8775,15 +8775,15 @@ the 900 series rules are found in the lexer. */
- 374,
+ 374,
- 385,
+ 385,
- 136,
+ 136,
- 972,
+ 972,
- 97,
+ 97,
152
@@ -8811,7 +8811,7 @@ the 900 series rules are found in the lexer. */
- 4,
+ 4,
2
@@ -8866,7 +8866,7 @@ the 900 series rules are found in the lexer. */
- 817,
+ 817,
812
@@ -8894,7 +8894,7 @@ the 900 series rules are found in the lexer. */
- 1033,
+ 1033,
1030
@@ -8931,23 +8931,23 @@ the 900 series rules are found in the lexer. */
- 802,
+ 802,
- 807,
+ 807,
- 818,
+ 818,
- 808,
+ 808,
- 932,
+ 932,
- 805,
+ 805,
- 806,
+ 806,
- 374,
+ 374,
- 972,
+ 972,
152
@@ -9020,7 +9020,7 @@ the 900 series rules are found in the lexer. */
- 374,
+ 374,
385
@@ -9075,7 +9075,7 @@ the 900 series rules are found in the lexer. */
- 1045,
+ 1045,
1040
@@ -9085,7 +9085,7 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
71
@@ -9095,7 +9095,7 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
300
@@ -9114,7 +9114,7 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
300
@@ -9196,7 +9196,7 @@ the 900 series rules are found in the lexer. */
- 1033,
+ 1033,
1030
@@ -9242,13 +9242,13 @@ the 900 series rules are found in the lexer. */
- 987,
+ 987,
- 1101,
+ 1101,
- 97,
+ 97,
- 152,
+ 152,
1100
@@ -9267,7 +9267,7 @@ the 900 series rules are found in the lexer. */
- 50,
+ 50,
40
@@ -9286,7 +9286,7 @@ the 900 series rules are found in the lexer. */
- 51,
+ 51,
52
@@ -9305,15 +9305,15 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
- 421,
+ 421,
- 383,
+ 383,
- 381,
+ 381,
- 91,
+ 91,
93
@@ -9341,11 +9341,11 @@ the 900 series rules are found in the lexer. */
- 54,
+ 54,
- 385,
+ 385,
- 94,
+ 94,
85
@@ -9355,7 +9355,7 @@ the 900 series rules are found in the lexer. */
- 53,
+ 53,
54
@@ -9365,11 +9365,11 @@ the 900 series rules are found in the lexer. */
- 51,
+ 51,
- 52,
+ 52,
- 50,
+ 50,
20
@@ -9379,17 +9379,17 @@ the 900 series rules are found in the lexer. */
- 54,
+ 54,
- 807,
+ 807,
- 385,
+ 385,
- 371,
+ 371,
- 136,
+ 136,
- 94,
+ 94,
85
@@ -9399,7 +9399,7 @@ the 900 series rules are found in the lexer. */
- 371,
+ 371,
136
@@ -9418,7 +9418,7 @@ the 900 series rules are found in the lexer. */
- 0,
+ 0,
1100
@@ -9437,7 +9437,7 @@ the 900 series rules are found in the lexer. */
- 1049,
+ 1049,
1030
@@ -9447,15 +9447,15 @@ the 900 series rules are found in the lexer. */
- 422,
+ 422,
- 371,
+ 371,
- 135,
+ 135,
- 971,
+ 971,
- 13,
+ 13,
2
@@ -9465,31 +9465,31 @@ the 900 series rules are found in the lexer. */
- 807,
+ 807,
- 421,
+ 421,
- 422,
+ 422,
- 383,
+ 383,
- 381,
+ 381,
- 371,
+ 371,
- 370,
+ 370,
- 134,
+ 134,
- 135,
+ 135,
- 971,
+ 971,
- 13,
+ 13,
- 91,
+ 91,
- 93,
+ 93,
2
@@ -9499,7 +9499,7 @@ the 900 series rules are found in the lexer. */
- 382,
+ 382,
92
@@ -9509,17 +9509,17 @@ the 900 series rules are found in the lexer. */
- 370,
+ 370,
- 134,
+ 134,
- 12,
+ 12,
- 491,
+ 491,
- 152,
+ 152,
- 81,
+ 81,
0
@@ -9529,13 +9529,13 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
- 987,
+ 987,
- 385,
+ 385,
- 97,
+ 97,
152
@@ -9545,9 +9545,9 @@ the 900 series rules are found in the lexer. */
- 817,
+ 817,
- 987,
+ 987,
812
@@ -9557,7 +9557,7 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
151
@@ -9567,9 +9567,9 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
- 160,
+ 160,
161
@@ -9579,11 +9579,11 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
- 374,
+ 374,
- 300,
+ 300,
97
@@ -9593,7 +9593,7 @@ the 900 series rules are found in the lexer. */
- 311,
+ 311,
310
@@ -9603,9 +9603,9 @@ the 900 series rules are found in the lexer. */
- 311,
+ 311,
- 312,
+ 312,
385
@@ -9615,9 +9615,9 @@ the 900 series rules are found in the lexer. */
- 374,
+ 374,
- 372,
+ 372,
152
@@ -9627,11 +9627,11 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
- 1051,
+ 1051,
- 300,
+ 300,
152
@@ -9641,11 +9641,11 @@ the 900 series rules are found in the lexer. */
- 312,
+ 312,
- 385,
+ 385,
- 381,
+ 381,
332
@@ -9664,7 +9664,7 @@ the 900 series rules are found in the lexer. */
- 382,
+ 382,
383
@@ -9674,7 +9674,7 @@ the 900 series rules are found in the lexer. */
- 383,
+ 383,
385
@@ -9684,15 +9684,15 @@ the 900 series rules are found in the lexer. */
- 311,
+ 311,
- 312,
+ 312,
- 310,
+ 310,
- 372,
+ 372,
- 370,
+ 370,
330
@@ -9702,7 +9702,7 @@ the 900 series rules are found in the lexer. */
- 371,
+ 371,
370
@@ -9730,7 +9730,7 @@ the 900 series rules are found in the lexer. */
- 4,
+ 4,
2
@@ -9740,9 +9740,9 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
- 11,
+ 11,
41
@@ -9752,11 +9752,11 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
- 385,
+ 385,
- 95,
+ 95,
112
@@ -9775,17 +9775,17 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
- 32,
+ 32,
- 95,
+ 95,
- 97,
+ 97,
- 112,
+ 112,
- 111,
+ 111,
90
@@ -9795,7 +9795,7 @@ the 900 series rules are found in the lexer. */
- 310,
+ 310,
332
@@ -9814,21 +9814,21 @@ the 900 series rules are found in the lexer. */
- 53,
+ 53,
- 32,
+ 32,
- 374,
+ 374,
- 385,
+ 385,
- 131,
+ 131,
- 136,
+ 136,
- 95,
+ 95,
- 112,
+ 112,
815
@@ -9847,7 +9847,7 @@ the 900 series rules are found in the lexer. */
- 131,
+ 131,
132
@@ -9857,9 +9857,9 @@ the 900 series rules are found in the lexer. */
- 132,
+ 132,
- 134,
+ 134,
152
@@ -9878,7 +9878,7 @@ the 900 series rules are found in the lexer. */
- 134,
+ 134,
135
@@ -9888,7 +9888,7 @@ the 900 series rules are found in the lexer. */
- 135,
+ 135,
136
@@ -9898,7 +9898,7 @@ the 900 series rules are found in the lexer. */
- 14,
+ 14,
41
@@ -9908,7 +9908,7 @@ the 900 series rules are found in the lexer. */
- 971,
+ 971,
815
@@ -9954,29 +9954,29 @@ the 900 series rules are found in the lexer. */
- 52,
+ 52,
- 50,
+ 50,
- 807,
+ 807,
- 383,
+ 383,
- 381,
+ 381,
- 371,
+ 371,
- 370,
+ 370,
- 134,
+ 134,
- 135,
+ 135,
- 13,
+ 13,
- 91,
+ 91,
- 93,
+ 93,
2
@@ -9986,7 +9986,7 @@ the 900 series rules are found in the lexer. */
- 10,
+ 10,
11
@@ -10005,7 +10005,7 @@ the 900 series rules are found in the lexer. */
- 12,
+ 12,
13
@@ -10024,11 +10024,11 @@ the 900 series rules are found in the lexer. */
- 54,
+ 54,
- 122,
+ 122,
- 41,
+ 41,
152
@@ -10038,19 +10038,19 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
- 385,
+ 385,
- 91,
+ 91,
- 94,
+ 94,
- 97,
+ 97,
- 112,
+ 112,
- 152,
+ 152,
83
@@ -10078,7 +10078,7 @@ the 900 series rules are found in the lexer. */
- 92,
+ 92,
93
@@ -10088,7 +10088,7 @@ the 900 series rules are found in the lexer. */
- 93,
+ 93,
94
@@ -10107,7 +10107,7 @@ the 900 series rules are found in the lexer. */
- 95,
+ 95,
111
@@ -10135,13 +10135,13 @@ the 900 series rules are found in the lexer. */
- 54,
+ 54,
- 130,
+ 130,
- 14,
+ 14,
- 152,
+ 152,
83
@@ -10151,13 +10151,13 @@ the 900 series rules are found in the lexer. */
- 51,
+ 51,
- 52,
+ 52,
- 53,
+ 53,
- 50,
+ 50,
54
@@ -10185,7 +10185,7 @@ the 900 series rules are found in the lexer. */
- 151,
+ 151,
152
@@ -10204,11 +10204,11 @@ the 900 series rules are found in the lexer. */
- 160,
+ 160,
- 161,
+ 161,
- 122,
+ 122,
82
@@ -10218,15 +10218,15 @@ the 900 series rules are found in the lexer. */
- 20,
+ 20,
- 32,
+ 32,
- 30,
+ 30,
- 40,
+ 40,
- 71,
+ 71,
85
@@ -10263,9 +10263,9 @@ the 900 series rules are found in the lexer. */
- 32,
+ 32,
- 1101,
+ 1101,
97
@@ -10275,7 +10275,7 @@ the 900 series rules are found in the lexer. */
- 14,
+ 14,
0