Kitten Quick Reference Cards
Check-in [558488e996]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Split out Lojban numbers from the sumti card.
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:558488e9962364b0df99a0387353bac13a011b1c
User & Date: alaric 2013-07-13 13:25:55
Context
2013-07-13
13:31
Fixed Makefile, and made the PDF versions be the ones we link to. check-in: c07b553861 user: alaric tags: trunk
13:25
Split out Lojban numbers from the sumti card. check-in: 558488e996 user: alaric tags: trunk
2013-07-12
17:34
Added DOWNLOAD.wiki check-in: 4ef0acce20 user: alaric tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Added lojban-number.ruleset.





















































>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(number
 . (seq
    (one-or-more
     (choice
      (comment "{ma'u} = positive sign\n{ni'u} = negative sign\n{pi} = decimal point\n{fi'u} = fraction slash\n{ra'e} = recurring (decimal)\n{ce'i} = percent\n{ki'o} = thousands separator"
               "ma'u|ni'u|pi|fi'u|ra'e|ce'i|ki'o")
      (comment "0..9" "no|pa|re|ci|vo|mu|xa|ze|bi|so")
      (comment "10..15" "dau|fei|gai|jau|rei|vai")
      (comment "Compound number separator"
               "pi'e")
      (comment "{ci'i} = infinity\n{ka'o} = i\n{pai} = pi\n{te'o} = e\n{fi'u} = phi"
               "ci'i|ka'o|pai|te'o|fi'u")
      (comment "{ji'i} = rest of number is approximate\n{su'e} = at most, {su'o} = at least, {me'i} = less than, {za'u} = more than"
               "ji'i|su'e|su'o|me'i|za'u")
      (comment "{ro} = all\n{so'a} = almost all\n{so'e} = most\n{so'i} = many\n{so'o} = several\n{so'u} = a few (at least 1)"
               "ro|so'a|so'e|so'i|so'o|so'u")
      (comment "{piro} = all of\n{piso'a} = almost all of\n{piso'e} = most of\n{piso'i} = much of\n{piso'o} = a small part of\n{piso'u} = a tiny part of"
               "piro|piso'a|piso'e|piso'o|piso'o|piso'u")
      (comment "{no'o} = the typical number\n{da'a} = all but one\n{pino'o} = the typical portion of" "no'o|da'a|pino'o")
      (comment "{rau} = enough\n{du'e} = too many\n{mo'a} = too few\n{pirau} = enough of\n{pidu'e} = too much of\n{pimo'a} = too little of"
               "rau|du'e|mo'a|pirau|pidu'e|pimo'a")
      (comment "Number question" "xo")
      complex-mexso))
    (optional
     (comment "Specify alternative base"
              (seq "ju'u" number)))))

Added lojban-number.svg.

cannot compute difference between binary files

Changes to lojban-sumti.ruleset.

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32


33
34


35
36






37
38
39








40
41
42
43










44
45
46
47
48
49
50
51
52
53
54
55

56
57
58
59
60
61
62
63
64
65
66
67
68










69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109








110
111
112
113
114
115
116
117
118
119




120
121
122
123
124
125
126
...
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174

175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192

(sumti
 . (choice
    non-connected-sumti
    (seq sumti afterthought-con (elidable "bo") sumti)
    (seq forethought-con sumti "gi" sumti)
    (comment "Note: Outermost sumti may not use {ke}"
             (seq "ke" sumti "ke'e"))))

(afterthought-con
 . (choice
    (comment "...and/or..." "a")
    (comment "...and..." "e")
    (comment "...if and only if..." "o")
    (comment "...whether or not..." "u")

    (comment "...only if..." "na.a")
    (comment "...and/or not..." "anai")

    (comment "... ..." "na.e")
    (comment "... ..." "enai")

    (comment "... ..." "na.o")
    (comment "... ..." "onai")

    (comment "... ..." "na.u")
    (comment "... ..." "unai")
))

(forethought-con
 . "FIXME")

(non-connected-sumti


 . (seq
    (optional outer-quantifier)


    (choice
     description






     pro-sumti
     name
     quotation








     (comment "The number value"
              (seq "li" number (elidable "lo'o")))
     (comment "The numerical expression"
              (seq "me'o" number (elidable "lo'o")))










     (seq qualifier sumti (elidable "lu'u"))
     )
    (optional (seq relative (zero-or-more (seq "zi'e" relative))))))

;; FIXME: sumti connectives

(outer-quantifier
 . (comment "The number of things we are referring to with this sumti"
            number))

(description
 .

 (choice
  (seq gadri (optional inner-quantifier) sumti-body (elidable "ku"))
  (comment "Useful for adding an extra quantifier to an existing sumti"
           (seq gadri inner-quantifier sumti (elidable "ku"))))
 ;; FIXME: Indefinite description? http://dag.github.ui/cll/6/8/
 )

(sumti-body
 . (choice "FIXME"))

(name
 . (seq (comment "{la} = the thing(s) named\n{lai} = the mass of things named\n{la'i} = the set of things named\nIn all caseds, the name refers to the members, not the mass/set;\nyou can use {la} to refer to a named set." "la|lai|la'i")
        (choice sumti-body cmevla)










        (elidable "ku")))

(inner-quantifier
 . (comment "The number of things described by the sumti-body"
            number))

(gadri
 . (choice
    (comment "{le} = the thing(s) I describe as...\n{lei} = the mass of things I describe as ...\n{le'i} = the set of things I describe as ..." "le|lei|le'i")
    (comment "{lo} = the thing(s) which are...\n{loi} = the mass of things which are ...\n{lo'i} = the set of things which are ..." "lo|loi|lo'i")
    (comment "{lo'e} = the typical thing which is...\n{le'e} what I perceive as the typical thing which is..." "lo'e|le'e")))

(sumti-body
 . "FIXME")

(number
 . (seq
    (one-or-more
     (choice
      (comment "{ma'u} = positive sign\n{ni'u} = negative sign\n{pi} = decimal point\n{fi'u} = fraction slash\n{ra'e} = recurring (decimal)\n{ce'i} = percent\n{ki'o} = thousands separator"
               "ma'u|ni'u|pi|fi'u|ra'e|ce'i|ki'o")
      (comment "0..9" "no|pa|re|ci|vo|mu|xa|ze|bi|so")
      (comment "10..15" "dau|fei|gai|jau|rei|vai")
      (comment "Compound number separator"
               "pi'e")
      (comment "{ci'i} = infinity\n{ka'o} = i\n{pai} = pi\n{te'o} = e\n{fi'u} = phi"
               "ci'i|ka'o|pai|te'o|fi'u")
      (comment "{ji'i} = rest of number is approximate\n{su'e} = at most, {su'o} = at least, {me'i} = less than, {za'u} = more than"
               "ji'i|su'e|su'o|me'i|za'u")
      (comment "{ro} = all\n{so'a} = almost all\n{so'e} = most\n{so'i} = many\n{so'o} = several\n{so'u} = a few (at least 1)"
               "ro|so'a|so'e|so'i|so'o|so'u")
      (comment "{piro} = all of\n{piso'a} = almost all of\n{piso'e} = most of\n{piso'i} = much of\n{piso'o} = a small part of\n{piso'u} = a tiny part of"
               "piro|piso'a|piso'e|piso'o|piso'o|piso'u")
      (comment "{no'o} = the typical number\n{da'a} = all but one\n{pino'o} = the typical portion of" "no'o|da'a|pino'o")
      (comment "{rau} = enough\n{du'e} = too many\n{mo'a} = too few\n{pirau} = enough of\n{pidu'e} = too much of\n{pimo'a} = too little of"
               "rau|du'e|mo'a|pirau|pidu'e|pimo'a")
      (comment "Number question" "xo")
      complex-mekso)) ; FIXME
    (optional
     (comment "Specify alternative base"
              (seq "ju'u" number)))))









(pro-sumti
 . (choice
    (comment "{mi} = the speaker\n{do} = the audience\n{mi'o} = the speaker and the audience\n{mi'a} = the speaker and others, but not the audience\n{ma'a} = the speaker, the audience, and others\n{do'o} = the audience and others\n{ko} = you (imperative)"
             "mi|do|mi'o|mi'a|ma'a|do'o|ko")
    (comment "{ti} = this\n{ta} = that\n{tu} = that (distant)"
             "ti|ta|tu")
    (comment "{da'u} = a much earlier utterance\n{de'u} = an earlier utterance\n{di'u} = the previous utterance\n{dei} = this utterance\n{di'e} = the next utterance\n{de'e} = a later utterance\n{da'e} = a much later utterance\n{do'i} = some utterance"
             "da'u|de'u|di'u|dei|di'e|de'e|da'e|do'i")
    assignable




    (comment "{ra} = repeat some recent sumti\n{ru} = repeat some earlier sumti"
             "ra|ru")
    (comment "Repeat last (or Nth previous) complete sumti"
             (seq "ri" (optional (seq "xi" number))))
    (comment "{zo'e} = the obvious value\n{zu'i} = the typical value\n{zi'o} = no value"
             "zo'e|zu'i|zi'o")
    (comment "{vo'a} = x1 of this bridi\n..."
................................................................................
    (comment "{ke'a} = placeholder sumti for relative clauses\n{ce'u} = placeholder sumti for abstraction focus"
             "ke'a|ce'u")
    (comment "Bound variables"
             "da|de|di")))

;; FIXME: soi... [se'u]?

(assignable
 . (choice
    "ko'a|ko'e|ko'i|ko'o|ko'u|fo'a|fo'e|fo'i|fo'o|fo'u"
    letteral))

(quotation
 . (choice
    (seq "lu" lojban "li'u")
    (seq "lo'u" invalid-lojban "le'u")
    (seq "zo" single-word)
    (seq "zoi" delimiter-word arbitrary-text delimiter-word)
    (seq "la'o" delimiter-word foreign-name delimiter-word)))

(qualifier
 . (choice
    (comment
     "{la'e} = the thing referred to (by name)\n{lu'e} = a name/title/reference of\n{tu'a} = some abstract involving\n{lu'a} = a member/part of\n{lu'i} = a set formed from\n{lu'o} = a mass formed from\n{vu'i} = a sequence formed from"
     "la'e|lu'e|tu'a|lu'a|lu'i|lu'o|vu'i")
    (comment
     "{na'ebo} = something other than\n{to'ebo} = the opposite of\n{no'ebo} = the neutral form of\n{je'abo} = that which indeed is"
     "na'ebo|to'ebo|no'ebo|je'abo")))

(relative
 . (choice relative-clause relative-phrase))

(relative-clause
 . (comment
    "Bridis within relative clauses can use {ke'a} to refer to the target\nIf there is no {ke'a}, x1 is assumed."
    (choice
     (comment "...which is defined as..."
              (seq "poi" bridi (elidable "ku'o")))
     (comment "...which I (subjectively) define as..."
              (seq "voi" bridi (elidable "ku'o")))
     (comment "...which, by the way, is..."
              (seq "noi" bridi (elidable "ku'o"))))))

(relative-phrase
 . (choice

    (comment "...also known as... (used to assign assignables)"
             (seq "goi" sumti (elidable "ge'u")))

    (comment "...which is associated with..."
             (seq "pe" sumti (elidable "ge'u")))
    (comment "...which (by the way) is associated with.."
             (seq "ne" sumti (elidable "ge'u")))

    (comment "...which is owned by..."
             (seq "po" sumti (elidable "ge'u")))
    (comment "...which is part of..."
             (seq "po'e" sumti (elidable "ge'u")))

    (comment "...which is..."
             (seq "po'u" sumti (elidable "ge'u")))
    (comment "...which (by the way) is..."
             (seq "no'u" sumti (elidable "ge'u")))
))



|
|
<
<
<
<
<
|
<
|
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
>
>
|
<
>
>
|
<
>
>
>
>
>
>
|
<
<
>
>
>
>
>
>
>
>
|
|
|
|
>
>
>
>
>
>
>
>
>
>
|
<

<
<
<
<
<
<
<
<
<
>
|
<
<
<
<
<
<
<
<
<
<
<
<
>
>
>
>
>
>
>
>
>
>
|
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
|
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
>
>
>
>
>
>
>
>









<
>
>
>
>







 







|
|
<
<
<
<
<
<
<
<
<
<
<
<
<

<
<
<
<
<
<
<
<
<
<
<
|
|
|
|
|
|
|
|

<
<
>
|
<
<
|
<
|
<
<
|
<
|
<
<
|
<
|
<
<
>
1
2
3
4





5

6




















7
8
9

10
11
12

13
14
15
16
17
18
19


20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

43









44
45












46
47
48
49
50
51
52
53
54
55
56















57
























58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

75
76
77
78
79
80
81
82
83
84
85
..
89
90
91
92
93
94
95
96
97













98











99
100
101
102
103
104
105
106
107


108
109


110

111


112

113


114

115


116
(sumti
 . (choice
    (seq
     (optional (comment "Outer quantifier" number))





     (choice

      (comment "Description"




















               (choice
                 ;; FIXME: Indefinite description? http://dag.github.ui/cll/6/8/
                (seq 

                 (comment
                  "These are known as gadri"
                  (choice

                   (comment "{le} = the thing(s) I describe as...\n{lei} = the mass of things I describe as ...\n{le'i} = the set of things I describe as ..." "le|lei|le'i")
                   (comment "{lo} = the thing(s) which are...\n{loi} = the mass of things which are ...\n{lo'i} = the set of things which are ..." "lo|loi|lo'i")
                   (comment "{lo'e} = the typical thing which is...\n{le'e} what I perceive as the typical thing which is..." "lo'e|le'e")))
                 (optional (comment "Inner quantifier" number))
                 (choice bridi sumti)
                 (elidable "ku"))))
      pro-sumti


      (seq (comment "{la} = the thing(s) named\n{lai} = the mass of things named\n{la'i} = the set of things named\nIn all caseds, the name refers to the members, not the mass/set;\nyou can use {la} to refer to a named set." "la|lai|la'i")
           (choice bridi cmene)
           (elidable "ku"))
      (seq "lu" valid-lojban-text "li'u")
      (seq "lo'u" invalid-lojban-text "le'u")
      (seq "zo" lojban-word)
      (seq "zoi" delimiter-word foreign-text delimiter-word)
      (seq "la'o" delimiter-word foreign-name delimiter-word)
      (comment "The number value"
               (seq "li" number (elidable "lo'o")))
      (comment "The numerical expression"
               (seq "me'o" number (elidable "lo'o")))
      (seq
       (choice
        (comment
         "{la'e} = the thing referred to (by name; {lu'e} = a name/title/reference of
{tu'a} = some abstract involving; {lu'a} = a member/part of
{lu'i} = a set formed from; {lu'o} = a mass formed from
{vu'i} = a sequence formed from; {na'ebo} = something other than
{to'ebo} = the opposite of; {no'ebo} = the neutral form of
{je'abo} = that which indeed is"
        "la'e|lu'e|tu'a|lu'a|lu'i|lu'o|vu'i|na'ebo|to'ebo|no'ebo|je'abo"))
      sumti (elidable "lu'u"))

    (optional (seq relative (zero-or-more (seq "zi'e" relative))))))









    (seq sumti
         (choice












          (comment "A {.a} B = A and/or B; A {.e} B = A and B; A {.o} B = A if and only if B; A {.u} B = A (whether or not B)
A {na.a} B = A, only if B; A {.anai} B = A, and/or (not B); A {na.anai} B = not (A and B); A {na.e} B = (not A), and B
A {.enai} B = A, and (not B); A {na.enai} B = neither A nor B; A {.onai} B = A (exclusive) or B; A {na.u} B = not A (whether or not B)
A {nase.u} B = B (whether or not A); A {se.unai} B = (not B) (whether or not A)"
                   ".a|.e|.o|.u|na.a|.anai|na.anai|na.e|.enai|na.enai|.onai|na.u|nase.u|se.unai")
          (comment "A {joi} B = A and B (as a mass); A {ce} B = A and B (as a set); A {ce'o} B = A then B (sequence)
A {sece'o} B = B then A (sequence); A {jo'u} B = A and B (jointly); A {fa'u} B = A and B (respectively)
A {sefa'u} B = B and A (respectively); A {jo'e} B = A union B (sets); A {ku'a} B = A intersect B (sets)
A {pi'u} B = A cross B (sets, makes set of pairs); A {sepi'u} B = B cross A (sets, makes set of pairs)"
                   "joi|ce|ce'o|sec'o|jo'u|fa'u|sefa'u|jo'e|ku'a|pi'u|sepi'u"))
         (elidable "bo") sumti)















    (seq
























     (comment "{ga} A {gi} B = A and/or B; {ge} A {gi} B = A and B; {go} A {gi} B = A if and only if B; {gu} A {gi} B = A (whether or not B)
{naga} A {gi} B = A, only if B; {ganai} A {gi} B = A, and/or (not B); {naganai} A {gi} B = not (A and B); {nage} A {gi} B = (not A), and B
{genai} A {gi} B = A, and (not B); {nagenai} A {gi} B = neither A nor B; {gonai} A {gi} B = A (exclusive) or B; {nagu} A {gi} B = not A (whether or not B)
{nasegu} A {gi} B = B (whether or not A); {segunai} A {gi} B = (not B) (whether or not A)"
            "ga|ge|go|gu|naga|ganai|naganai|nage|genai|nagenai|gonai|nagu|nasegu|segunai")
     sumti "gi" sumti)
    (comment "Note: Outermost sumti may not use {ke}"
             (seq "ke" sumti "ke'e"))))

(pro-sumti
 . (choice
    (comment "{mi} = the speaker\n{do} = the audience\n{mi'o} = the speaker and the audience\n{mi'a} = the speaker and others, but not the audience\n{ma'a} = the speaker, the audience, and others\n{do'o} = the audience and others\n{ko} = you (imperative)"
             "mi|do|mi'o|mi'a|ma'a|do'o|ko")
    (comment "{ti} = this\n{ta} = that\n{tu} = that (distant)"
             "ti|ta|tu")
    (comment "{da'u} = a much earlier utterance\n{de'u} = an earlier utterance\n{di'u} = the previous utterance\n{dei} = this utterance\n{di'e} = the next utterance\n{de'e} = a later utterance\n{da'e} = a much later utterance\n{do'i} = some utterance"
             "da'u|de'u|di'u|dei|di'e|de'e|da'e|do'i")

    (comment "Assignable pro-sumti (bind them with {goi})"
             (choice
              "ko'a|ko'e|ko'i|ko'o|ko'u|fo'a|fo'e|fo'i|fo'o|fo'u"
              letteral))
    (comment "{ra} = repeat some recent sumti\n{ru} = repeat some earlier sumti"
             "ra|ru")
    (comment "Repeat last (or Nth previous) complete sumti"
             (seq "ri" (optional (seq "xi" number))))
    (comment "{zo'e} = the obvious value\n{zu'i} = the typical value\n{zi'o} = no value"
             "zo'e|zu'i|zi'o")
    (comment "{vo'a} = x1 of this bridi\n..."
................................................................................
    (comment "{ke'a} = placeholder sumti for relative clauses\n{ce'u} = placeholder sumti for abstraction focus"
             "ke'a|ce'u")
    (comment "Bound variables"
             "da|de|di")))

;; FIXME: soi... [se'u]?

(relative
 . (choice 













    (comment











     "Bridis within relative clauses can use {ke'a} to refer to the target\nIf there is no {ke'a}, x1 is assumed."
     (choice
      (comment "...which is defined as..."
               (seq "poi" bridi (elidable "ku'o")))
      (comment "...which I (subjectively) define as..."
               (seq "voi" bridi (elidable "ku'o")))
      (comment "...which, by the way, is..."
               (seq "noi" bridi (elidable "ku'o")))))



    (comment
     "{goi} = ...also known as... (used to assign assignables)


{pe} = ...which is associated with...

{ne} = ...which (by the way) is associated with...


{po} = ...which is owned by...

{po'e} = ...which is part of...


{po'u} = ...which is...

{no'u} = ...which (by the way) is..."


     "goi|pe|ne|po|po'e|po'u|no'u")))

Changes to lojban-sumti.svg.

cannot compute difference between binary files

Changes to lojban-tenses.ruleset.

80
81
82
83
84
85
86
87
88
89
    (optional (seq
	       (comment "{ze'i} = briefly\n{ze'a} = medium\n{ze'u} = prolonged\n{ze'e} = forever" "ze'i|ze'a|ze'u|ze'e")
	       (comment "{pu} = interval extends to past\n{ca} = interval surrounds point\n{ba} = interval extends to future"(optional "pu|ca|ba"))))))

 (place
  . (seq
     (optional-choice modal FA)
     (choice
      pro-sumti
      sumti)))







<
<
|
80
81
82
83
84
85
86


87
    (optional (seq
	       (comment "{ze'i} = briefly\n{ze'a} = medium\n{ze'u} = prolonged\n{ze'e} = forever" "ze'i|ze'a|ze'u|ze'e")
	       (comment "{pu} = interval extends to past\n{ca} = interval surrounds point\n{ba} = interval extends to future"(optional "pu|ca|ba"))))))

 (place
  . (seq
     (optional-choice modal FA)


      sumti))

Changes to lojban-tenses.svg.

cannot compute difference between binary files