Received: from mail-pv0-f189.google.com ([74.125.83.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pjay6-0007Hq-5x; Sun, 30 Jan 2011 09:22:16 -0800 Received: by pvh1 with SMTP id 1sf1473575pvh.16 for ; Sun, 30 Jan 2011 09:21:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:mime-version:x-beenthere:received-spf:date :message-id:to:subject:from:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-transfer-encoding; bh=jAv0cVi8g83F9dQHNVtO5WUx2mYiSQkaAE38aUafWY0=; b=6+DVC0ODgWITS42pTsQMnhghDxKgQh0juN4AAZdPysx9yGRQDRK/Xci1M5zP954nML tZ22H0jZGRnHUkIH7uXDa9IbFo835i5DpiIv4JpRBN6oebeu3JAVtUQEIaKlWsZ4KC64 XNsuzMMZItOKOPPcKzwrkEeevagNIHnlbtwU0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=mime-version:x-beenthere:received-spf:date:message-id:to:subject :from:x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; b=A2uqQINk6UDGeIsfR5LMn/2SrULpmqjL1uuLGs0GScLYHv5fyCuMrHrBxIzB2AK3RL ViPbsgvMZGYl2wMuKlh2AQ11alAFjpT/I/Zgtt1n3zBka/BfoDg/+Iaznx/JZ6fkspI5 8sL0nsMCWi7QfuYDu08T+utxeTh/D7s1VrnTs= Received: by 10.143.164.10 with SMTP id r10mr166243wfo.48.1296408090061; Sun, 30 Jan 2011 09:21:30 -0800 (PST) MIME-Version: 1.0 X-BeenThere: bpfk-list@googlegroups.com Received: by 10.142.97.18 with SMTP id u18ls6533439wfb.2.p; Sun, 30 Jan 2011 09:21:29 -0800 (PST) Received: by 10.142.213.18 with SMTP id l18mr1114961wfg.35.1296408089501; Sun, 30 Jan 2011 09:21:29 -0800 (PST) Received: by 10.142.213.18 with SMTP id l18mr1114959wfg.35.1296408089427; Sun, 30 Jan 2011 09:21:29 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTPS id f13si22293077wfo.4.2011.01.30.09.21.28 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sun, 30 Jan 2011 09:21:29 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1Pjaxr-0007Hi-WF for bpfk-list@googlegroups.com; Sun, 30 Jan 2011 09:21:28 -0800 Received: from 128-177-28-49.ip.openhosting.com ([128.177.28.49] helo=oh-www1.lojban.org) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PjaxX-0007HP-Ku for bpfk@lojban.org; Sun, 30 Jan 2011 09:21:27 -0800 Received: from www-data by oh-www1.lojban.org with local (Exim 4.72) (envelope-from ) id 1PjaxW-0001pa-EU for bpfk@lojban.org; Sun, 30 Jan 2011 12:21:06 -0500 Date: Sun, 30 Jan 2011 12:21:06 -0500 Message-Id: To: bpfk@lojban.org Subject: [bpfk] dag-cll git updates for Sun Jan 30 12:21:05 EST 2011 From: www-data X-Original-Sender: www-data@oh-www1.lojban.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=nobody@digitalkingdom.org Reply-To: bpfk-list@googlegroups.com Precedence: list Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Content-Length: 185512 commit b8a1162f5a40eb57b215f4267cdec9118507d008 Merge: 5d58c90 80d7e64 Author: Robin Lee Powell Date: Sun Jan 30 08:58:42 2011 -0800 Merge commit '80d7e6480df9ffe155c57f862071d159a6dc9044' into gh-pages commit 5d58c90a31c77dd84cb31fc95a0492f81af9c40c Merge: a495cf5 cb87291 Author: Robin Lee Powell Date: Sun Jan 30 08:49:15 2011 -0800 Merge commit 'cb87291250fa978bcb67f965bfb880601ce9f367' into gh-pages commit a495cf5e9f5298fef31104c23eb67a1a4db0934c Merge: 66257b0 5b9fb44 Author: Robin Lee Powell Date: Sat Jan 29 21:50:26 2011 -0800 Merge commit '5b9fb44b9fd0c93d30cc27739a4b65e54b2c24a4' into gh-pages commit 80d7e6480df9ffe155c57f862071d159a6dc9044 Author: Eitan Postavsky Date: Wed Jan 5 23:39:50 2011 -0500 Revert "Chapter 6 lojban-word-importeds." =20 This reverts commit cb87291250fa978bcb67f965bfb880601ce9f367. diff --git a/todocbook/6.xml b/todocbook/6.xml index f8f67d7..1acdbb3 100644 --- a/todocbook/6.xml +++ b/todocbook/6.xml @@ -16,87 +16,87 @@ pro-sumticontrasted with description In=20 ,=20 mi and=20 le zarci are the sumti. It is easy to see that = these two sumti are not of the same kind:=20 mi is a pro-sumti (the Lojban analogue of a pro= noun) referring to the speaker, whereas=20 le zarci is a description which refers to somet= hing described as being a market. sumtikinds of There are five kinds of simple su= mti provided by Lojban: =20 - gadridefinition sumtidescriptions as descriptions like=20 + le gadridefinition sumtidescriptions as<= /indexterm> descriptions like=20 le zarci, which usually begin with a descri= ptor (called a=20 gadri in Lojban) such as=20 =20 le; - sumtipro-sumti as pro-sumti, such as=20 + mi sumtipro-sumti as pro-sumti, such as=20 mi; - sumtinames as names, such as=20 + la sumtinames as names, such as=20 la lojban., which usually begin with=20 la; - sumtiquotations as quotations, which begin w= ith=20 + zoi zo le'u lu<= /primary> sumti<= /primary>quotations as quotations, which= begin with=20 lu,=20 le'u,=20 zo, or=20 zoi; - sumtinumbers as pure numbers, which usually = begin with=20 + li sumtinumbers as pure numbers, which usuall= y begin with=20 li. Here are a few examples of each kind of sumti: <anchor xml:id=3D"c6e1d2"/> e'osai ko sarji la lojban. Please support Lojban! - + ko<= /indexterm>=20 exhibits=20 ko, a pro-sumti; and=20 la lojban., a name. <anchor xml:id=3D"c6e1d3"/> mi cusku lu e'osai li'u le tcidu I express=20 Please! to-the reader. - + le<= /indexterm> li'u lu mi=20 exhibits=20 mi, a pro-sumti;=20 lu e'osai li'u, a quotation; and=20 le tcidu, a description. <anchor xml:id=3D"c6e1d4"/> ti mitre li ci This measures-in-meters the-number three. This is three meters long. - + li<= /indexterm> ti= =20 exhibits=20 ti, a pro-sumti; and=20 li ci, a number. Most of this chapter is about descriptions, as they have the mos= t complicated syntax and usage. Some attention is also given to names, whic= h are closely interwoven with descriptions. Pro-sumti, numbers, and quotati= ons are described in more detail in=20 ,=20 , and=20 respectively, so this chapter on= ly gives summaries of their forms and uses. See=20 through=20 for these summaries. @@ -181,21 +181,21 @@ lein false-to-fact descriptions=20 is not self-contradictory i= n Lojban, because=20 le nanmu merely means something or other which,= for my present purposes, I choose to describe as a man, whether or not it = really is a man. A plausible instance would be: someone we had assumed to b= e a man at a distance turned out to be actually a woman on closer observati= on.=20 =20 is what I would say to poin= t out my observation to you. =20 descriptionsspecific specific descriptions In all des= criptions with=20 le, the listener is presumed to either know wha= t I have in mind or else not to be concerned at present (perhaps I will giv= e more identifying details later). In particular, I might be pointing at th= e supposed man or men:=20 would then be perfectly int= elligible, since=20 le nanmu merely clarifies that I am pointing at= the supposed man, not at a landscape, or a nose, which happens to lie in t= he same direction. - loimplications of descriptionsnon-specific<= /indexterm> non-specific des= criptions The second descriptor dealt with in this se= ction is=20 + lo<= /indexterm> loimplications of descriptionsnon-specific non-specific d= escriptions The second descriptor dealt with in this = section is=20 lo. Unlike=20 le,=20 lo is nonspecific: <anchor xml:id=3D"c6e2d4"/> lo zarci one-or-more-of-all-the-things-which-really are-markets @@ -216,21 +216,21 @@ lo nanmu cu ninmu Some man is a woman. Some men are women. must be false in Lojban, given that there are no objects in the = real world which are both men and women. Pointing at some specific men or w= omen would not make=20 =20 true, because those specifi= c individuals are no more both-men-and-women than any others. In general,= =20 lo refers to whatever individuals meet its desc= ription. - lause with descriptions contrasted with use before Lojbanized names lecompared with la in specificity lacompared = with le in specificity laimplications of The last descriptor of this section is=20 + la<= /indexterm> lause with descriptions contrasted with use before Lojbanized names lecompared with la in specificity <= indexterm type=3D"general-imported">lacompare= d with le in specificity laimplications of The last descriptor of this section is=20 la, which indicates that the selbri which follo= ws it has been dissociated from its normal meaning and is being used as a n= ame. Like=20 le descriptions,=20 la descriptions are implicitly restricted to th= ose I have in mind. (Do not confuse this use of=20 la with its use before regular Lojbanized names= , which is discussed in=20 .) For example: <anchor xml:id=3D"c6e2d6"/> @@ -322,21 +322,21 @@ lo remna pu finti le lisri A human being wrote the story. Some human beings wrote the story. locontrasted with le in implications lecontrasted with= lo in implications=20 says who the author of the = story is: one or more particular human beings that the speaker has in mind.= If the topic of conversation is the story, then=20 identifies the author as so= meone who can be pointed out or who has been previously mentioned; whereas = if the topic is a person, then=20 le remna is in effect a shorthand reference to = that person.=20 merely says that the author= is human. - kuuses of = cueffect on elidability of ku kueffect of following selbri on elidability of <= indexterm type=3D"general-imported">kuas elid= able terminator for descriptions The elidable termi= nator for all descriptions is=20 + ku<= /indexterm> kuuses of cueffect on elidability of ku kueffect of following selbri on elidability of = kuas el= idable terminator for descriptions The elidable ter= minator for all descriptions is=20 ku. It can almost always be omitted with no dan= ger of ambiguity. The main exceptions are in certain uses of relative claus= es, which are discussed in=20 , and in the case of a des= cription immediately preceding the selbri. In this latter case, using an ex= plicit=20 cu before the selbri makes the=20 ku unnecessary. There are also a few other uses= of=20 ku: in the compound negator=20 naku (discussed in=20 ) and to terminate place-structure= , tense, and modal tags that do not have associated sumti (discussed in=20 and=20 ). @@ -390,26 +390,26 @@ <anchor xml:id=3D"c6e3d2"/> lei prenu cu bevri le pipno The-mass-of-one-or-more-of-those-I-describe-as persons carr= y the piano. =20 - piano-movingexample mass objectand logical reasoning mass o= bjectproperties of multiple individual objectscontrasted with mass object mass objectcontrasted= with multiple individual objects Here the same thr= ee persons are treated not as individuals, but as a so-called=20 + lei= piano-movingexample mass objectand logical reasoning= mas= s objectproperties of multiple individual objectscontrasted with mass object mass objectcontras= ted with multiple individual objects Here the same = three persons are treated not as individuals, but as a so-called=20 mass entity, or just=20 mass. A mass has the properties of each individual whic= h composes it, and may have other properties of its own as well. This can l= ead to apparent contradictions. Thus suppose in the piano-moving example ab= ove that person 1 has fair skin, whereas person 2 has dark skin. Then it is= correct to say that the person-mass has both fair skin and dark skin. Usin= g the mass descriptor=20 =20 lei signals that ordinary logical reasoning is = not applicable: contradictions can be maintained, and all sorts of other pe= culiarities may exist. However, we can safely say that a mass inherits only= the component properties that are relevant to it; it would be ludicrous to= say that a mass of two persons is of molecular dimensions, simply because = some of the parts (namely, the molecules) of the persons are that small. - laias mass counterpart of lai loias mass counterpart = of lo The descriptors=20 + lai= loi lai= as mass counterpart of lai loias mass counterpa= rt of lo The descriptors=20 loi and=20 lai are analogous to=20 lo and=20 la respectively, but refer to masses either by = property (=20 loi) or by name (=20 lai). A classic example of=20 loi use is: <anchor xml:id=3D"c6e3d3"/> @@ -449,21 +449,21 @@ <title> <anchor xml:id=3D"c6e3d5"/> loi matne cu ranti =20 Part-of-the-mass-of-that-which-really is-a-quantity-of-butt= er is-soft. Butter is soft. - butter is softexample mass objectas dependent on intent= ion Of course, some butter is hard (for example, if= it is frozen butter), so the=20 + matne butter is sof= texample mass objectas dependent on i= ntention Of course, some butter is hard (for exampl= e, if it is frozen butter), so the=20 part-of implication of=20 loi becomes once again useful. The reason this = mechanism works is that the English words like=20 butter, which are seen as already describing masses, ar= e translated in Lojban by non-mass forms. The place structure of=20 matne is=20 =20 x1 is a quantity of butter from source x2, so the singl= e English word=20 butter is translated as something like=20 a part of the mass formed from all the quantities of butter tha= t exist. (Note that the operation of forming a mass entity does not= imply, in Lojban, that the components of the mass are necessarily close to= one another or even related in any way other than conceptually. Masses are= formed by the speaker's intention to form a mass, and can in principle con= tain anything.) mass nameuse of The mass name descriptor=20 =20 @@ -502,21 +502,21 @@ LE the set of those which really are la'i LA the set of those named masscompared with set as abstract of multiple individuals setcompared with mass as abstract of multiple individuals masscontrasted with set in attribution of component properties setcontrasted with mass in attribution of component properties Having said so much about masses, let us turn to sets.= Sets are easier to understand than masses, but are more rarely used. Like = a mass, a set is an abstract object formed from a number of individuals; ho= wever, the properties of a set are not derived from any of the properties o= f the individuals that compose it. - la'ias set counterpart of lai lo'ias set counterpart = of loi le'ias set counterpart of lei sets= properties of cardinalitydefinition cardinalityproperty of sets membershipproperty of sets inclusionproperty of sets Sets have proper= ties like cardinality (how many elements in the set), membership (the relat= ionship between a set and its elements), and set inclusion (the relationshi= p between two sets, one of which - the superset =96 contains all the elemen= ts of the other - the subset). The set descriptors=20 + la'i lo'i le'i la'ias set counterpart of lai lo'ias set coun= terpart of loi le'ias set counterpart of lei setsproperties of cardinalitydefinition cardinalityproperty of sets membershipproperty of sets<= /secondary> incl= usionproperty of sets Sets hav= e properties like cardinality (how many elements in the set), membership (t= he relationship between a set and its elements), and set inclusion (the rel= ationship between two sets, one of which - the superset =96 contains all th= e elements of the other - the subset). The set descriptors=20 =20 =20 =20 le'i,=20 lo'i and=20 la'i correspond exactly to the mass descriptors= =20 lei,=20 loi, and=20 lai except that normally we talk of the whole o= f a set, not just part of it. Here are some examples contrasting=20 lo,=20 @@ -592,21 +592,21 @@ LE the typical le'e LE the stereotypical =20 - As promised in=20 + lo'e As promised in=20 , Lojban has a method for discrimina= ting between=20 the lion who lives in Africa and=20 the Englishman who, generally speaking, doesn't live in= Africa even though some Englishmen do. The descriptor=20 lo'e means=20 the typical, as in <anchor xml:id=3D"c6e5d1"/> @@ -638,21 +638,21 @@ le'e xelso merko cu gusta ponse The-stereotypical Greek-type-of American is-a-restaurant-ty= pe-of owner. =20 Lots of Greek-Americans own restaurants. =20 - stereotypicalcompared with typical typicalcompared with= stereotypical stereotypicalas not derogatory in Lojban Greek-= Americans own restaurants stereotypical objects Here we are= concerned not with the actual set of Greek-Americans, but with the set of = those the speaker has in mind, which is typified by one (real or imaginary)= who owns a restaurant. The word=20 + le'e stereotypical<= /primary>compared with typical typicalcompared = with stereotypical stereotypicalas not derogatory in Lojba= n Gr= eek-Americans own restaurants stereotypical objects Here we= are concerned not with the actual set of Greek-Americans, but with the set= of those the speaker has in mind, which is typified by one (real or imagin= ary) who owns a restaurant. The word=20 stereotypical is often derogatory in English, but=20 =20 le'e need not be derogatory in Lojban: it simpl= y suggests that the example is typical in the speaker's imagination rather = than in some objectively agreed-upon way. Of course, different speakers may= disagree about what the features of=20 the typical lion are (some would include having a short= intestine, whereas others would know nothing of lions' intestines), so the= distinction between=20 lo'e cinfo and=20 le'e cinfo may be very fine. Furthermore, <anchor xml:id=3D"c6e5d4"/> @@ -707,20 +707,21 @@ <para>Every Lojban sumti may optionally be preceded by an explicit qua= ntifier. The purpose of this quantifier is to specify how many of the thing= s referred to by the sumti are being talked about. Here are some simple exa= mples contrasting sumti with and without explicit quantifiers:</para> <example xml:id=3D"example-random-id-qL61" role=3D"interlinear-gloss-e= xample"> <title> <anchor xml:id=3D"c6e6d1"/> do cadzu le bisli You walk-on the ice. +FIXME: TAG SPOT <anchor xml:id=3D"c6e6d2"/> re do cadzu le bisli Two-of you walk-on the ice. The difference between=20 @@ -790,21 +791,21 @@ mi cusku ro lu do cadzu le bisli li'u I express all-of [quote] you walk-on the ice [unquote]. the meaning would be something like=20 I say every occurrence of the sentence 'You walk on the ice'. Of course I don't say every occurrence of it, only some occurrences.= One might suppose that=20 means that I express exactl= y one occurrence, but it is more Lojbanic to leave the number unspecified, = as with other sumti. We can say definitely, however, that I say it at least= once. - The Lojban cmavo meaning=20 + su'o The Lojban cmavo meaning=20 at least is=20 su'o, and if no ordinary number follows,=20 su'o means=20 at least once. (See=20 for the use of=20 su'o with an ordinary number). Therefore, the e= xplicitly quantified version of=20 is implicit quantifierfor quotations quotationsimplicit quan= tifier for su'oas implicit quantifier for quotations FIXME: TAG SPOT @@ -977,25 +978,25 @@ <para> <indexterm type=3D"general-imported"><primary>le-series cmavo</= primary><secondary>rule for implicit inner quantifier</secondary></indexter= m> <indexterm type=3D"general-imported"><primary>lo-series cmavo</primary>= <secondary>rule for implicit inner quantifier</secondary></indexterm> The r= ule for the inner quantifier is very simple: the lo-series cmavo (namely,= =20 =20 <jbophrase>lo</jbophrase>,=20 <jbophrase>loi</jbophrase>,=20 <jbophrase>lo'i</jbophrase>, and=20 <jbophrase>lo'e</jbophrase>) all have an implicit inner quantifier of= =20 <jbophrase>ro</jbophrase>, whereas the le-series cmavo all have an imp= licit inner quantifier of=20 =20 <jbophrase>su'o</jbophrase>.</para> <para> <indexterm type=3D"general-imported"><primary>le-series cmavo</= primary><secondary>rationale for implicit inner quantifier</secondary></ind= exterm> <indexterm type=3D"general-imported"><primary>lo-series cmavo</pri= mary><secondary>rationale for implicit inner quantifier</secondary></indext= erm> Why? Because lo-series descriptors always refer to all of the things w= hich really fit into the x1 place of the selbri. They are not restricted by= the speaker's intention. Descriptors of the le-series, however, are so res= tricted, and therefore talk about some number, definite or indefinite, of o= bjects the speaker has in mind - but never less than one.</para> - <para><indexterm type=3D"general-imported"><primary>masses</primary><s= econdary>rule for implicit outer quantifier</secondary></indexterm> <index= term type=3D"general-imported"><primary>sets</primary><secondary>rule for i= mplicit outer quantifier</secondary></indexterm> Understanding the implicit= outer quantifier requires rules of greater subtlety. In the case of mass a= nd set descriptors, a single rule suffices for each: reference to a mass is= implicitly a reference to some part of the mass; reference to a set is imp= licitly a reference to the whole set. Masses and sets are inherently singul= ar objects: it makes no sense to talk about two distinct masses with the sa= me components, or two distinct sets with the same members. Therefore, the l= argest possible outer quantifier for either a set description or a mass des= cription is=20 + <para> <indexterm type=3D"lojban-word-imported"><primary>piro</primary= ></indexterm> <indexterm type=3D"general-imported"><primary>masses</primar= y><secondary>rule for implicit outer quantifier</secondary></indexterm> <i= ndexterm type=3D"general-imported"><primary>sets</primary><secondary>rule f= or implicit outer quantifier</secondary></indexterm> Understanding the impl= icit outer quantifier requires rules of greater subtlety. In the case of ma= ss and set descriptors, a single rule suffices for each: reference to a mas= s is implicitly a reference to some part of the mass; reference to a set is= implicitly a reference to the whole set. Masses and sets are inherently si= ngular objects: it makes no sense to talk about two distinct masses with th= e same components, or two distinct sets with the same members. Therefore, t= he largest possible outer quantifier for either a set description or a mass= description is=20 <jbophrase>piro</jbophrase>, the whole of it.</para> <para> <indexterm type=3D"general-imported"><primary>plural masses</pr= imary><secondary>possible use for</secondary></indexterm> (Pedantically, it= is possible that the mass of water molecules composing an ice cube might b= e thought of as different from the same mass of water molecules in liquid f= orm, in which case we might talk about=20 <jbophrase>re lei djacu</jbophrase>, two masses of the water-bits I ha= ve in mind.)</para> - <para><indexterm type=3D"general-imported"><primary>pisu'o</primary><s= econdary>explanation of meaning</secondary></indexterm> <indexterm type=3D= "general-imported"><primary>piro</primary><secondary>explanation of meaning= </secondary></indexterm> Why=20 + <para> <indexterm type=3D"lojban-word-imported"><primary>pi</primary><= /indexterm> <indexterm type=3D"general-imported"><primary>pisu'o</primary>= <secondary>explanation of meaning</secondary></indexterm> <indexterm type= =3D"general-imported"><primary>piro</primary><secondary>explanation of mean= ing</secondary></indexterm> Why=20 <quote>pi-</quote>? It is the Lojban cmavo for the decimal point. Just= as=20 =20 <jbophrase>pimu</jbophrase> means=20 <quote>.5</quote>, and when used as a quantifier specifies a portion c= onsisting of five tenths of a thing,=20 <jbophrase>piro</jbophrase> means a portion consisting of the all-ness= =96 the entirety - of a thing. Similarly,=20 <jbophrase>pisu'o</jbophrase> specifies a portion consisting of at lea= st one part of a thing, i.e. some of it.</para> =20 <para> <indexterm type=3D"general-imported"><primary>portion</primary>= <secondary>on set contrasted with on individual</secondary></indexterm> <i= ndexterm type=3D"general-imported"><primary>outer quantifiers</primary><sec= ondary>for expressing subsets</secondary></indexterm> <indexterm type=3D"g= eneral-imported"><primary>subsets</primary><secondary>expressing with outer= quantifiers</secondary></indexterm> Smaller quantifiers are possible for s= ets, and refer to subsets. Thus=20 =20 <jbophrase>pimu le'i nanmu</jbophrase> is a subset of the set of men I= have in mind; we don't know precisely which elements make up this subset, = but it must have half the size of the full set. This is the best way to say= =20 @@ -1249,21 +1250,21 @@ <selmaho>NAhE+BO</selmaho> <description>that which indeed is</description> </cmavo-entry> =20 <cmavo-entry> <cmavo>lu'u</cmavo> <selmaho>LUhU</selmaho> <description>elidable terminator for LAhE and NAhE+BO</description= > </cmavo-entry> </cmavo-list> <para>Well, that's quite a list of cmavo. What are they all about?</pa= ra> - <para><indexterm type=3D"lojban-word-imported"><primary>BO selma'o</pr= imary></indexterm> <indexterm type=3D"general-imported"><primary>lu'u</pri= mary><secondary>as elidable terminator for qualified sumti</secondary></ind= exterm> <indexterm type=3D"general-imported"><primary>sumti qualifiers</pr= imary><secondary>elidable terminator for qualified sumti</secondary></index= term> <indexterm type=3D"general-imported"><primary>sumti qualifiers</prim= ary><secondary>external syntax of</secondary></indexterm> <indexterm type= =3D"general-imported"><primary>sumti qualifiers</primary><secondary>interna= l syntax of</secondary></indexterm> <indexterm type=3D"general-imported"><= primary>NAhE selma'o</primary></indexterm> <indexterm type=3D"general-impo= rted"><primary>LAhE selma'o</primary></indexterm> The above cmavo and compo= und cmavo are called the=20 + <para> <indexterm type=3D"lojban-word-imported"><primary>lu'u</primary= ></indexterm> <indexterm type=3D"lojban-word-imported"><primary>BO selma'o= </primary></indexterm> <indexterm type=3D"general-imported"><primary>lu'u<= /primary><secondary>as elidable terminator for qualified sumti</secondary><= /indexterm> <indexterm type=3D"general-imported"><primary>sumti qualifiers= </primary><secondary>elidable terminator for qualified sumti</secondary></i= ndexterm> <indexterm type=3D"general-imported"><primary>sumti qualifiers</= primary><secondary>external syntax of</secondary></indexterm> <indexterm t= ype=3D"general-imported"><primary>sumti qualifiers</primary><secondary>inte= rnal syntax of</secondary></indexterm> <indexterm type=3D"general-imported= "><primary>NAhE selma'o</primary></indexterm> <indexterm type=3D"general-i= mported"><primary>LAhE selma'o</primary></indexterm> The above cmavo and co= mpound cmavo are called the=20 <quote>sumti qualifiers</quote>. All of them are either single cmavo o= f selma'o LAhE, or else compound cmavo involving a scalar negation cmavo of= selma'o NAhE immediately followed by=20 =20 <jbophrase>bo</jbophrase> of selma'o BO. Syntactically, you can prefix= a sumti qualifier to any sumti and produce another simple sumti. (You may = need to add the elidable terminator=20 =20 <jbophrase>lu'u</jbophrase> to show where the qualified sumti ends.)</= para> =20 <para> <indexterm type=3D"general-imported"><primary>sumti qualifiers<= /primary><secondary>as short forms for common special cases</secondary></in= dexterm> Semantically, sumti qualifiers represent short forms of certain co= mmon special cases. Suppose you want to say=20 <quote>I see 'The Red Pony'</quote>, where=20 =20 <quote>The Red Pony</quote> is the title of a book. How about:</para> @@ -1306,28 +1307,28 @@ <title> <anchor xml:id=3D"c6e10d3"/> mi viska la'e lu le xunre cmaxirma li'u [lu'u] =20 =20 I see the-referent-of [quote] the red small-horse [unquote]= . - referent= referring to with la'e la'eeffect of on meanin= g de= referencing a pointerwith la'e= la'eas= short for le selsinxa be So= when=20 + la'e referentreferring to with la'e la'eeffect of on mea= ning dereferencing a pointerwith la'e la'eas short for le selsinxa be= So when=20 la'e is prefixed to a sumti referring to a symb= ol, it produces a sumti referring to the referent of that symbol. (In compu= ter jargon,=20 =20 la'e dereferences a pointer.) By introducing a sumti qualifier, we correct a false sentence (= =20 ), which too closely resembl= es its literal English equivalent, into a true sentence (=20 ), without having to change = it overmuch; in particular, the structure remains the same. Most of the use= s of sumti qualifiers are of this general kind. - symbolreferring to with lu'e lu'eeffect of on meaning The sumti qualifier=20 + lu'e symbolreferring to with lu'e lu'eeffect of on meani= ng The sumti qualifier=20 lu'e provides the converse operation: it can be= prefixed to a sumti referring to some thing to produce a sumti referring t= o a sign or symbol for the thing. For example, title of bookexample lu'eas short for le sinxa = be FIXME: TAG SPOT <anchor xml:id=3D"c6e10d4"/> mi pu cusku lu'e le vi cukta I [past] express a-symbol-for the nearby book. I said the title of this book. @@ -1338,21 +1339,21 @@ <anchor xml:id=3D"c6e10d5"/> mi pu cusku le sinxa be le vi cukta I [past] express the symbol-for the nearby book. which is equivalent to=20 , but longer. - sequence= contrasted with set vu'iuse for creating sequen= ce t= u'ause for forming abstractions vu'ie= ffect of on meaning lu'oeffect of on meaning lu'ieffect of on meaning lu'aeffect of on meaning tu'aeffect of on meaning The other sum= ti qualifiers follow the same rules. The cmavo=20 + vu'i lu'o lu'i lu'a= t= u'a se= quencecontrasted with set vu'iuse for= creating sequence tu'ause for forming abstractions vu'ieffect of on meaning lu'oeffect of on meani= ng l= u'ieffect of on meaning lu'aeffect of= on meaning <= primary>tu'aeffect of on meaning The other sumti qualifiers follow the same rules. The cmavo=20 tu'a is used in forming abstractions, and is ex= plained more fully in=20 . The triplet=20 lu'a,=20 =20 lu'i, and=20 =20 lu'o convert between individuals, sets, and mas= ses;=20 =20 vu'i belongs to this group as well, but creates= a sequence, which is similar to a set but has a definite order. (The set o= f John and Charles is the same as the set of Charles and John, but the sequ= ences are different.) Here are some examples: =20 @@ -1404,20 +1405,21 @@ mi ce do girzu .i lu'o ri gunma .i vu'i ri porsi I in-a-set-with you are-a-set. The-mass-of it-last-mentione= d is-a-mass. The-sequence-of it-last-mentioned is-a-sequence The set of you and me is a set. The mass of you and me is a ma= ss. The sequence of you and me is a sequence. set of ratsexample (Yes, I know these examples = are a bit silly. This set was introduced for completeness, and practical ex= amples are as yet hard to come by.) negation sumti qu= alifiersmeanings of sumti qualifiersf= or negation Finally, the four sumti qualifiers form= ed from a cmavo of NAhE and=20 bo are all concerned with negation, which is di= scussed in detail in=20 . Here are a few examples of negat= ion sumti qualifiers: =20 + na'ebo<= /indexterm> FIXME: TAG SPOT <anchor xml:id=3D"c6e10d10"/> mi viska na'ebo le gerku =20 I see something-other-than the dog. @@ -1494,21 +1496,21 @@ doi instead of a pause: <anchor xml:id=3D"c6e11d4"/> coi doi djan. Hello, John. - means exactly the same thing and does not require a pause. Using= =20 + doi= means exactly the same thing and does not require a pause. Usi= ng=20 doi by itself is like just saying someone's nam= e to attract his or her attention: <anchor xml:id=3D"c6e11d5"/> doi djan. John! @@ -1552,21 +1554,21 @@ is the same as: <anchor xml:id=3D"c6e11d9"/> doi la djan. The-one-named John! - DOhU selma'o<= /primary> vocati= ve phrase terminatorelidability of vocative phraseelidable terminator for Finally, the e= lidable terminator for vocative phrases is=20 + DOhU selma'o<= /primary> do= 'u voc= ative phrase terminatorelidability of vocative phraseelidable terminator for Finally, th= e elidable terminator for vocative phrases is=20 do'u (of selma'o DOhU), which is rarely needed = except when a simple vocative word is being placed somewhere within a bridi= . It may also be required when a vocative is placed between a sumti and its= relative clause, or when there are a sequence of so-called=20 =20 free modifiers (vocatives, subscripts, utterance ordina= ls - see=20 =20 =20 - metalinguistic comments - see=20 - or reciprocals - see=20 ) which must be properly separate= d. vocative phraseeffect of position on meaning Th= e meaning of a vocative phrase that is within a sentence is not affected by= its position in the sentence: thus=20 =20 @@ -1620,20 +1622,21 @@ <anchor xml:id=3D"c6e12d2"/> la djonz. klama le zarci Jones goes to-the store. The Joneses go to-the store. + lai la FIXME: TAG SPOT <anchor xml:id=3D"c6e12d3"/> lai djonz. klama le zarci The-mass-of Joneses go to-the store. The Joneses go to the store. @@ -1644,21 +1647,21 @@ djonz. I can mean whomever I want: that person = need not use the name=20 djonz. at all. LA selma'ocontrasted with LE in use of name-words LE selma'ocontrasted with LA in use of name-words The s= umti in=20 and=20 operate exactly like the si= milar uses of=20 la and=20 lai in=20 and=20 respectively. The only diff= erence is that these descriptors are followed by Lojban name-words. And in = fact, the only difference between descriptors of selma'o LA (these three) a= nd of selma'o LE (all the other descriptors) is that the former can be foll= owed by name-words, whereas the latter cannot. =20 - LA selma'o doieffect on necessity for pause before name-word LA selma'oeffect on necessity for pause before name-word name-wordspause requirements before name-wordslimitatio= ns on There are certain limitations on the form of = name-words in Lojban. In particular, they cannot contain the letter-sequenc= es (or sound-sequences)=20 + la'i lai la LA selm= a'o doi = doieffect on necessity for pause before name-word LA selma= 'oeffect on necessity for pause before name-word name-word= spause requirements before name-words= limitations on There are certain limitations on the= form of name-words in Lojban. In particular, they cannot contain the lette= r-sequences (or sound-sequences)=20 =20 la,=20 lai, or=20 doi unless a consonant immediately precedes wit= hin the name. Reciprocally, every name not preceded by=20 la,=20 lai,=20 la'i, or=20 doi must be preceded by a pause instead: @@ -1752,21 +1755,21 @@ =20 <para> <indexterm type=3D"general-imported"><primary>names with la</pr= imary><secondary>implicit quantifier for</secondary></indexterm> The implic= it quantifier for name sumti of the form=20 <jbophrase>la</jbophrase> followed by a name is=20 <jbophrase>su'o</jbophrase>, just as for=20 <jbophrase>la</jbophrase> followed by a selbri.</para> </section> <section xml:id=3D"section-pro-sumti"> <title>Pro-sumti summary pro-sumticlasses of The Lojban pro-sumti are th= e cmavo of selma'o KOhA. They fall into several classes: personal, definabl= e, quantificational, reflexive, back-counting, indefinite, demonstrative, m= etalinguistic, relative, question. More details are given in=20 ; this section mostly dupli= cates information found there, but adds material on the implicit quantifier= of each pro-sumti. - pro-sumtiimplicit quantifier for The following e= xamples illustrate each of the classes. Unless otherwise noted below, the i= mplicit quantification for pro-sumti is=20 + ro<= /indexterm> pro-sumtiimplicit quantifier for The following= examples illustrate each of the classes. Unless otherwise noted below, the= implicit quantification for pro-sumti is=20 ro (all). In the case of pro-sumti which refer = to other sumti, the=20 ro signifies=20 all of those referred to by the other sumti: thus it is= possible to restrict, but not to extend, the quantification of the other s= umti. personal pro-sumt= i Personal pro-sumti (=20 mi,=20 do,=20 mi'o,=20 mi'a,=20 =20 ma'a,=20 @@ -1958,21 +1961,21 @@ question pro-sumt= iimplicit quantifier for The i= mplicit quantifier for the question pro-sumti is=20 =20 su'o (at least one), because the listener is on= ly being asked to supply a single answer, not all correct answers. definable pro-sum= tisequences of lerfu words as = In addition, sequences of lerfu words (of selma'o BY and related selma'o) c= an also be used as definable pro-sumti. =20
Quotation summary quotationfour kinds There are four kinds of quo= tation in Lojban: text quotation, words quotation, single-word quotation, n= on-Lojban quotation. More information is provided in . - text quotationas internally grammatical text quotations= yntax of Text quotations are preceded by=20 + li'u lu text quotatio= nas internally grammatical text quotationsyntax of Text quotations are preceded by=20 lu and followed by=20 li'u, and are an essential part of the surround= ing text: they must be grammatical Lojban texts. <anchor xml:id=3D"c6e14d1"/> mi cusku lu mi'e djan. li'u I say the-text [quote] I-am John [unquote]. I say I'm John. @@ -1993,42 +1996,42 @@ Note that the translation of=20 does not translate the Lojb= an words, because they are not presumed to have any meaning (in fact, they = are ungrammatical). single-word quota= tion Single-word quotation quotes a single Lojban wor= d. Compound cmavo are not allowed. =20 <anchor xml:id=3D"c6e14d3"/> mi cusku zo .ai - I say the-word=20 - .ai. + I say the-word=20 + .ai. non-Lojban quotat= ion Non-Lojban quotation can quote anything, Lojban o= r not, even non-speech such as drum talk, whistle words, music, or belching= . A Lojban word which does not appear within the quotation is used before a= nd after it to set it off from the surrounding Lojban text. <anchor xml:id=3D"c6e14d4"/> mi cusku zoi kuot. I'm John .kuot I say=20 I'm John. quotationimplicit quantifier for The implicit q= uantifier for all types of quotation is=20 su'o (at least one), because quotations are ana= logous to=20 lo descriptions: they refer to things which act= ually are words or sequences of words.
Number summary - number sumtiwith li number sumtisyntax of The sumti which refer to numbers consist of the cmavo=20 + li<= /indexterm> number sumtiwith li number sumtisyntax of= The sumti which refer to numbers consist of the cmavo=20 li (of selma'o LI) followed by an arbitrary Loj= ban mekso, or mathematical expression. This can be anything from a simple n= umber up to the most complicated combination of numbers, variables, operato= rs, and so on. Much more information on numbers is given in=20 . Here are a few examples of increasi= ng complexity: <anchor xml:id=3D"c6e15d1"/> li vo the-number four 4 commit cb87291250fa978bcb67f965bfb880601ce9f367 Author: Eitan Postavsky Date: Wed Jan 5 22:57:58 2011 -0500 Chapter 6 lojban-word-importeds. diff --git a/todocbook/6.xml b/todocbook/6.xml index 1acdbb3..f8f67d7 100644 --- a/todocbook/6.xml +++ b/todocbook/6.xml @@ -16,87 +16,87 @@ pro-sumticontrasted with description In=20 ,=20 mi and=20 le zarci are the sumti. It is easy to see that = these two sumti are not of the same kind:=20 mi is a pro-sumti (the Lojban analogue of a pro= noun) referring to the speaker, whereas=20 le zarci is a description which refers to somet= hing described as being a market. sumtikinds of There are five kinds of simple su= mti provided by Lojban: =20 - le gadridefinition sumtidescriptions as<= /indexterm> descriptions like=20 + gadridefinition sumtidescriptions as descriptions like=20 le zarci, which usually begin with a descri= ptor (called a=20 gadri in Lojban) such as=20 =20 le; - mi sumtipro-sumti as pro-sumti, such as=20 + sumtipro-sumti as pro-sumti, such as=20 mi; - la sumtinames as names, such as=20 + sumtinames as names, such as=20 la lojban., which usually begin with=20 la; - zoi zo le'u lu<= /primary> sumti<= /primary>quotations as quotations, which= begin with=20 + sumtiquotations as quotations, which begin w= ith=20 lu,=20 le'u,=20 zo, or=20 zoi; - li sumtinumbers as pure numbers, which usuall= y begin with=20 + sumtinumbers as pure numbers, which usually = begin with=20 li. Here are a few examples of each kind of sumti: <anchor xml:id=3D"c6e1d2"/> e'osai ko sarji la lojban. Please support Lojban! - ko<= /indexterm>=20 + exhibits=20 ko, a pro-sumti; and=20 la lojban., a name. <anchor xml:id=3D"c6e1d3"/> mi cusku lu e'osai li'u le tcidu I express=20 Please! to-the reader. - le<= /indexterm> li'u lu mi=20 + exhibits=20 mi, a pro-sumti;=20 lu e'osai li'u, a quotation; and=20 le tcidu, a description. <anchor xml:id=3D"c6e1d4"/> ti mitre li ci This measures-in-meters the-number three. This is three meters long. - li<= /indexterm> ti= =20 + exhibits=20 ti, a pro-sumti; and=20 li ci, a number. Most of this chapter is about descriptions, as they have the mos= t complicated syntax and usage. Some attention is also given to names, whic= h are closely interwoven with descriptions. Pro-sumti, numbers, and quotati= ons are described in more detail in=20 ,=20 , and=20 respectively, so this chapter on= ly gives summaries of their forms and uses. See=20 through=20 for these summaries.
@@ -181,21 +181,21 @@ lein false-to-fact descriptions=20 is not self-contradictory i= n Lojban, because=20 le nanmu merely means something or other which,= for my present purposes, I choose to describe as a man, whether or not it = really is a man. A plausible instance would be: someone we had assumed to b= e a man at a distance turned out to be actually a woman on closer observati= on.=20 =20 is what I would say to poin= t out my observation to you. =20 descriptionsspecific specific descriptions In all des= criptions with=20 le, the listener is presumed to either know wha= t I have in mind or else not to be concerned at present (perhaps I will giv= e more identifying details later). In particular, I might be pointing at th= e supposed man or men:=20 would then be perfectly int= elligible, since=20 le nanmu merely clarifies that I am pointing at= the supposed man, not at a landscape, or a nose, which happens to lie in t= he same direction. - lo<= /indexterm> loimplications of descriptionsnon-specific non-specific d= escriptions The second descriptor dealt with in this = section is=20 + loimplications of descriptionsnon-specific<= /indexterm> non-specific des= criptions The second descriptor dealt with in this se= ction is=20 lo. Unlike=20 le,=20 lo is nonspecific: <anchor xml:id=3D"c6e2d4"/> lo zarci one-or-more-of-all-the-things-which-really are-markets @@ -216,21 +216,21 @@ lo nanmu cu ninmu Some man is a woman. Some men are women. must be false in Lojban, given that there are no objects in the = real world which are both men and women. Pointing at some specific men or w= omen would not make=20 =20 true, because those specifi= c individuals are no more both-men-and-women than any others. In general,= =20 lo refers to whatever individuals meet its desc= ription. - la<= /indexterm> lause with descriptions contrasted with use before Lojbanized names lecompared with la in specificity <= indexterm type=3D"general-imported">lacompare= d with le in specificity laimplications of The last descriptor of this section is=20 + lause with descriptions contrasted with use before Lojbanized names lecompared with la in specificity lacompared = with le in specificity laimplications of The last descriptor of this section is=20 la, which indicates that the selbri which follo= ws it has been dissociated from its normal meaning and is being used as a n= ame. Like=20 le descriptions,=20 la descriptions are implicitly restricted to th= ose I have in mind. (Do not confuse this use of=20 la with its use before regular Lojbanized names= , which is discussed in=20 .) For example: <anchor xml:id=3D"c6e2d6"/> @@ -322,21 +322,21 @@ lo remna pu finti le lisri A human being wrote the story. Some human beings wrote the story. locontrasted with le in implications lecontrasted with= lo in implications=20 says who the author of the = story is: one or more particular human beings that the speaker has in mind.= If the topic of conversation is the story, then=20 identifies the author as so= meone who can be pointed out or who has been previously mentioned; whereas = if the topic is a person, then=20 le remna is in effect a shorthand reference to = that person.=20 merely says that the author= is human. - ku<= /indexterm> kuuses of cueffect on elidability of ku kueffect of following selbri on elidability of = kuas el= idable terminator for descriptions The elidable ter= minator for all descriptions is=20 + kuuses of = cueffect on elidability of ku kueffect of following selbri on elidability of <= indexterm type=3D"general-imported">kuas elid= able terminator for descriptions The elidable termi= nator for all descriptions is=20 ku. It can almost always be omitted with no dan= ger of ambiguity. The main exceptions are in certain uses of relative claus= es, which are discussed in=20 , and in the case of a des= cription immediately preceding the selbri. In this latter case, using an ex= plicit=20 cu before the selbri makes the=20 ku unnecessary. There are also a few other uses= of=20 ku: in the compound negator=20 naku (discussed in=20 ) and to terminate place-structure= , tense, and modal tags that do not have associated sumti (discussed in=20 and=20 ). @@ -390,26 +390,26 @@ <anchor xml:id=3D"c6e3d2"/> lei prenu cu bevri le pipno The-mass-of-one-or-more-of-those-I-describe-as persons carr= y the piano. =20 - lei= piano-movingexample mass objectand logical reasoning= mas= s objectproperties of multiple individual objectscontrasted with mass object mass objectcontras= ted with multiple individual objects Here the same = three persons are treated not as individuals, but as a so-called=20 + piano-movingexample mass objectand logical reasoning mass o= bjectproperties of multiple individual objectscontrasted with mass object
mass objectcontrasted= with multiple individual objects Here the same thr= ee persons are treated not as individuals, but as a so-called=20 mass entity, or just=20 mass. A mass has the properties of each individual whic= h composes it, and may have other properties of its own as well. This can l= ead to apparent contradictions. Thus suppose in the piano-moving example ab= ove that person 1 has fair skin, whereas person 2 has dark skin. Then it is= correct to say that the person-mass has both fair skin and dark skin. Usin= g the mass descriptor=20 =20 lei signals that ordinary logical reasoning is = not applicable: contradictions can be maintained, and all sorts of other pe= culiarities may exist. However, we can safely say that a mass inherits only= the component properties that are relevant to it; it would be ludicrous to= say that a mass of two persons is of molecular dimensions, simply because = some of the parts (namely, the molecules) of the persons are that small. - lai= loi lai= as mass counterpart of lai loias mass counterpa= rt of lo The descriptors=20 + laias mass counterpart of lai loias mass counterpart = of lo The descriptors=20 loi and=20 lai are analogous to=20 lo and=20 la respectively, but refer to masses either by = property (=20 loi) or by name (=20 lai). A classic example of=20 loi use is: <anchor xml:id=3D"c6e3d3"/> @@ -449,21 +449,21 @@ <title> <anchor xml:id=3D"c6e3d5"/> loi matne cu ranti =20 Part-of-the-mass-of-that-which-really is-a-quantity-of-butt= er is-soft. Butter is soft. - matne butter is sof= texample mass objectas dependent on i= ntention Of course, some butter is hard (for exampl= e, if it is frozen butter), so the=20 + butter is softexample mass objectas dependent on intent= ion Of course, some butter is hard (for example, if= it is frozen butter), so the=20 part-of implication of=20 loi becomes once again useful. The reason this = mechanism works is that the English words like=20 butter, which are seen as already describing masses, ar= e translated in Lojban by non-mass forms. The place structure of=20 matne is=20 =20 x1 is a quantity of butter from source x2, so the singl= e English word=20 butter is translated as something like=20 a part of the mass formed from all the quantities of butter tha= t exist. (Note that the operation of forming a mass entity does not= imply, in Lojban, that the components of the mass are necessarily close to= one another or even related in any way other than conceptually. Masses are= formed by the speaker's intention to form a mass, and can in principle con= tain anything.) mass nameuse of The mass name descriptor=20 =20 @@ -502,21 +502,21 @@ LE the set of those which really are la'i LA the set of those named masscompared with set as abstract of multiple individuals setcompared with mass as abstract of multiple individuals masscontrasted with set in attribution of component properties setcontrasted with mass in attribution of component properties Having said so much about masses, let us turn to sets.= Sets are easier to understand than masses, but are more rarely used. Like = a mass, a set is an abstract object formed from a number of individuals; ho= wever, the properties of a set are not derived from any of the properties o= f the individuals that compose it. - la'i lo'i le'i la'ias set counterpart of lai lo'ias set coun= terpart of loi le'ias set counterpart of lei setsproperties of cardinalitydefinition cardinalityproperty of sets membershipproperty of sets<= /secondary> incl= usionproperty of sets Sets hav= e properties like cardinality (how many elements in the set), membership (t= he relationship between a set and its elements), and set inclusion (the rel= ationship between two sets, one of which - the superset =96 contains all th= e elements of the other - the subset). The set descriptors=20 + la'ias set counterpart of lai lo'ias set counterpart = of loi le'ias set counterpart of lei sets= properties of cardinalitydefinition cardinalityproperty of sets membershipproperty of sets inclusionproperty of sets Sets have proper= ties like cardinality (how many elements in the set), membership (the relat= ionship between a set and its elements), and set inclusion (the relationshi= p between two sets, one of which - the superset =96 contains all the elemen= ts of the other - the subset). The set descriptors=20 =20 =20 =20 le'i,=20 lo'i and=20 la'i correspond exactly to the mass descriptors= =20 lei,=20 loi, and=20 lai except that normally we talk of the whole o= f a set, not just part of it. Here are some examples contrasting=20 lo,=20 @@ -592,21 +592,21 @@ LE the typical le'e LE the stereotypical =20 - lo'e As promised in=20 + As promised in=20 , Lojban has a method for discrimina= ting between=20 the lion who lives in Africa and=20 the Englishman who, generally speaking, doesn't live in= Africa even though some Englishmen do. The descriptor=20 lo'e means=20 the typical, as in <anchor xml:id=3D"c6e5d1"/> @@ -638,21 +638,21 @@ le'e xelso merko cu gusta ponse The-stereotypical Greek-type-of American is-a-restaurant-ty= pe-of owner. =20 Lots of Greek-Americans own restaurants. =20 - le'e stereotypical<= /primary>compared with typical typicalcompared = with stereotypical stereotypicalas not derogatory in Lojba= n Gr= eek-Americans own restaurants stereotypical objects Here we= are concerned not with the actual set of Greek-Americans, but with the set= of those the speaker has in mind, which is typified by one (real or imagin= ary) who owns a restaurant. The word=20 + stereotypicalcompared with typical typicalcompared with= stereotypical stereotypicalas not derogatory in Lojban Greek-= Americans own restaurants stereotypical objects Here we are= concerned not with the actual set of Greek-Americans, but with the set of = those the speaker has in mind, which is typified by one (real or imaginary)= who owns a restaurant. The word=20 stereotypical is often derogatory in English, but=20 =20 le'e need not be derogatory in Lojban: it simpl= y suggests that the example is typical in the speaker's imagination rather = than in some objectively agreed-upon way. Of course, different speakers may= disagree about what the features of=20 the typical lion are (some would include having a short= intestine, whereas others would know nothing of lions' intestines), so the= distinction between=20 lo'e cinfo and=20 le'e cinfo may be very fine. Furthermore, <anchor xml:id=3D"c6e5d4"/> @@ -707,21 +707,20 @@ <para>Every Lojban sumti may optionally be preceded by an explicit qua= ntifier. The purpose of this quantifier is to specify how many of the thing= s referred to by the sumti are being talked about. Here are some simple exa= mples contrasting sumti with and without explicit quantifiers:</para> <example xml:id=3D"example-random-id-qL61" role=3D"interlinear-gloss-e= xample"> <title> <anchor xml:id=3D"c6e6d1"/> do cadzu le bisli You walk-on the ice. -FIXME: TAG SPOT <anchor xml:id=3D"c6e6d2"/> re do cadzu le bisli Two-of you walk-on the ice. The difference between=20 @@ -791,21 +790,21 @@ mi cusku ro lu do cadzu le bisli li'u I express all-of [quote] you walk-on the ice [unquote]. the meaning would be something like=20 I say every occurrence of the sentence 'You walk on the ice'. Of course I don't say every occurrence of it, only some occurrences.= One might suppose that=20 means that I express exactl= y one occurrence, but it is more Lojbanic to leave the number unspecified, = as with other sumti. We can say definitely, however, that I say it at least= once. - su'o The Lojban cmavo meaning=20 + The Lojban cmavo meaning=20 at least is=20 su'o, and if no ordinary number follows,=20 su'o means=20 at least once. (See=20 for the use of=20 su'o with an ordinary number). Therefore, the e= xplicitly quantified version of=20 is implicit quantifierfor quotations quotationsimplicit quan= tifier for su'oas implicit quantifier for quotations FIXME: TAG SPOT @@ -978,25 +977,25 @@ <para> <indexterm type=3D"general-imported"><primary>le-series cmavo</= primary><secondary>rule for implicit inner quantifier</secondary></indexter= m> <indexterm type=3D"general-imported"><primary>lo-series cmavo</primary>= <secondary>rule for implicit inner quantifier</secondary></indexterm> The r= ule for the inner quantifier is very simple: the lo-series cmavo (namely,= =20 =20 <jbophrase>lo</jbophrase>,=20 <jbophrase>loi</jbophrase>,=20 <jbophrase>lo'i</jbophrase>, and=20 <jbophrase>lo'e</jbophrase>) all have an implicit inner quantifier of= =20 <jbophrase>ro</jbophrase>, whereas the le-series cmavo all have an imp= licit inner quantifier of=20 =20 <jbophrase>su'o</jbophrase>.</para> <para> <indexterm type=3D"general-imported"><primary>le-series cmavo</= primary><secondary>rationale for implicit inner quantifier</secondary></ind= exterm> <indexterm type=3D"general-imported"><primary>lo-series cmavo</pri= mary><secondary>rationale for implicit inner quantifier</secondary></indext= erm> Why? Because lo-series descriptors always refer to all of the things w= hich really fit into the x1 place of the selbri. They are not restricted by= the speaker's intention. Descriptors of the le-series, however, are so res= tricted, and therefore talk about some number, definite or indefinite, of o= bjects the speaker has in mind - but never less than one.</para> - <para> <indexterm type=3D"lojban-word-imported"><primary>piro</primary= ></indexterm> <indexterm type=3D"general-imported"><primary>masses</primar= y><secondary>rule for implicit outer quantifier</secondary></indexterm> <i= ndexterm type=3D"general-imported"><primary>sets</primary><secondary>rule f= or implicit outer quantifier</secondary></indexterm> Understanding the impl= icit outer quantifier requires rules of greater subtlety. In the case of ma= ss and set descriptors, a single rule suffices for each: reference to a mas= s is implicitly a reference to some part of the mass; reference to a set is= implicitly a reference to the whole set. Masses and sets are inherently si= ngular objects: it makes no sense to talk about two distinct masses with th= e same components, or two distinct sets with the same members. Therefore, t= he largest possible outer quantifier for either a set description or a mass= description is=20 + <para><indexterm type=3D"general-imported"><primary>masses</primary><s= econdary>rule for implicit outer quantifier</secondary></indexterm> <index= term type=3D"general-imported"><primary>sets</primary><secondary>rule for i= mplicit outer quantifier</secondary></indexterm> Understanding the implicit= outer quantifier requires rules of greater subtlety. In the case of mass a= nd set descriptors, a single rule suffices for each: reference to a mass is= implicitly a reference to some part of the mass; reference to a set is imp= licitly a reference to the whole set. Masses and sets are inherently singul= ar objects: it makes no sense to talk about two distinct masses with the sa= me components, or two distinct sets with the same members. Therefore, the l= argest possible outer quantifier for either a set description or a mass des= cription is=20 <jbophrase>piro</jbophrase>, the whole of it.</para> <para> <indexterm type=3D"general-imported"><primary>plural masses</pr= imary><secondary>possible use for</secondary></indexterm> (Pedantically, it= is possible that the mass of water molecules composing an ice cube might b= e thought of as different from the same mass of water molecules in liquid f= orm, in which case we might talk about=20 <jbophrase>re lei djacu</jbophrase>, two masses of the water-bits I ha= ve in mind.)</para> - <para> <indexterm type=3D"lojban-word-imported"><primary>pi</primary><= /indexterm> <indexterm type=3D"general-imported"><primary>pisu'o</primary>= <secondary>explanation of meaning</secondary></indexterm> <indexterm type= =3D"general-imported"><primary>piro</primary><secondary>explanation of mean= ing</secondary></indexterm> Why=20 + <para><indexterm type=3D"general-imported"><primary>pisu'o</primary><s= econdary>explanation of meaning</secondary></indexterm> <indexterm type=3D= "general-imported"><primary>piro</primary><secondary>explanation of meaning= </secondary></indexterm> Why=20 <quote>pi-</quote>? It is the Lojban cmavo for the decimal point. Just= as=20 =20 <jbophrase>pimu</jbophrase> means=20 <quote>.5</quote>, and when used as a quantifier specifies a portion c= onsisting of five tenths of a thing,=20 <jbophrase>piro</jbophrase> means a portion consisting of the all-ness= =96 the entirety - of a thing. Similarly,=20 <jbophrase>pisu'o</jbophrase> specifies a portion consisting of at lea= st one part of a thing, i.e. some of it.</para> =20 <para> <indexterm type=3D"general-imported"><primary>portion</primary>= <secondary>on set contrasted with on individual</secondary></indexterm> <i= ndexterm type=3D"general-imported"><primary>outer quantifiers</primary><sec= ondary>for expressing subsets</secondary></indexterm> <indexterm type=3D"g= eneral-imported"><primary>subsets</primary><secondary>expressing with outer= quantifiers</secondary></indexterm> Smaller quantifiers are possible for s= ets, and refer to subsets. Thus=20 =20 <jbophrase>pimu le'i nanmu</jbophrase> is a subset of the set of men I= have in mind; we don't know precisely which elements make up this subset, = but it must have half the size of the full set. This is the best way to say= =20 @@ -1250,21 +1249,21 @@ <selmaho>NAhE+BO</selmaho> <description>that which indeed is</description> </cmavo-entry> =20 <cmavo-entry> <cmavo>lu'u</cmavo> <selmaho>LUhU</selmaho> <description>elidable terminator for LAhE and NAhE+BO</description= > </cmavo-entry> </cmavo-list> <para>Well, that's quite a list of cmavo. What are they all about?</pa= ra> - <para> <indexterm type=3D"lojban-word-imported"><primary>lu'u</primary= ></indexterm> <indexterm type=3D"lojban-word-imported"><primary>BO selma'o= </primary></indexterm> <indexterm type=3D"general-imported"><primary>lu'u<= /primary><secondary>as elidable terminator for qualified sumti</secondary><= /indexterm> <indexterm type=3D"general-imported"><primary>sumti qualifiers= </primary><secondary>elidable terminator for qualified sumti</secondary></i= ndexterm> <indexterm type=3D"general-imported"><primary>sumti qualifiers</= primary><secondary>external syntax of</secondary></indexterm> <indexterm t= ype=3D"general-imported"><primary>sumti qualifiers</primary><secondary>inte= rnal syntax of</secondary></indexterm> <indexterm type=3D"general-imported= "><primary>NAhE selma'o</primary></indexterm> <indexterm type=3D"general-i= mported"><primary>LAhE selma'o</primary></indexterm> The above cmavo and co= mpound cmavo are called the=20 + <para><indexterm type=3D"lojban-word-imported"><primary>BO selma'o</pr= imary></indexterm> <indexterm type=3D"general-imported"><primary>lu'u</pri= mary><secondary>as elidable terminator for qualified sumti</secondary></ind= exterm> <indexterm type=3D"general-imported"><primary>sumti qualifiers</pr= imary><secondary>elidable terminator for qualified sumti</secondary></index= term> <indexterm type=3D"general-imported"><primary>sumti qualifiers</prim= ary><secondary>external syntax of</secondary></indexterm> <indexterm type= =3D"general-imported"><primary>sumti qualifiers</primary><secondary>interna= l syntax of</secondary></indexterm> <indexterm type=3D"general-imported"><= primary>NAhE selma'o</primary></indexterm> <indexterm type=3D"general-impo= rted"><primary>LAhE selma'o</primary></indexterm> The above cmavo and compo= und cmavo are called the=20 <quote>sumti qualifiers</quote>. All of them are either single cmavo o= f selma'o LAhE, or else compound cmavo involving a scalar negation cmavo of= selma'o NAhE immediately followed by=20 =20 <jbophrase>bo</jbophrase> of selma'o BO. Syntactically, you can prefix= a sumti qualifier to any sumti and produce another simple sumti. (You may = need to add the elidable terminator=20 =20 <jbophrase>lu'u</jbophrase> to show where the qualified sumti ends.)</= para> =20 <para> <indexterm type=3D"general-imported"><primary>sumti qualifiers<= /primary><secondary>as short forms for common special cases</secondary></in= dexterm> Semantically, sumti qualifiers represent short forms of certain co= mmon special cases. Suppose you want to say=20 <quote>I see 'The Red Pony'</quote>, where=20 =20 <quote>The Red Pony</quote> is the title of a book. How about:</para> @@ -1307,28 +1306,28 @@ <title> <anchor xml:id=3D"c6e10d3"/> mi viska la'e lu le xunre cmaxirma li'u [lu'u] =20 =20 I see the-referent-of [quote] the red small-horse [unquote]= . - la'e referentreferring to with la'e la'eeffect of on mea= ning dereferencing a pointerwith la'e la'eas short for le selsinxa be= So when=20 + referent= referring to with la'e la'eeffect of on meanin= g de= referencing a pointerwith la'e= la'eas= short for le selsinxa be So= when=20 la'e is prefixed to a sumti referring to a symb= ol, it produces a sumti referring to the referent of that symbol. (In compu= ter jargon,=20 =20 la'e dereferences a pointer.) By introducing a sumti qualifier, we correct a false sentence (= =20 ), which too closely resembl= es its literal English equivalent, into a true sentence (=20 ), without having to change = it overmuch; in particular, the structure remains the same. Most of the use= s of sumti qualifiers are of this general kind. - lu'e symbolreferring to with lu'e lu'eeffect of on meani= ng The sumti qualifier=20 + symbolreferring to with lu'e lu'eeffect of on meaning The sumti qualifier=20 lu'e provides the converse operation: it can be= prefixed to a sumti referring to some thing to produce a sumti referring t= o a sign or symbol for the thing. For example, title of bookexample lu'eas short for le sinxa = be FIXME: TAG SPOT <anchor xml:id=3D"c6e10d4"/> mi pu cusku lu'e le vi cukta I [past] express a-symbol-for the nearby book. I said the title of this book. @@ -1339,21 +1338,21 @@ <anchor xml:id=3D"c6e10d5"/> mi pu cusku le sinxa be le vi cukta I [past] express the symbol-for the nearby book. which is equivalent to=20 , but longer. - vu'i lu'o lu'i lu'a= t= u'a se= quencecontrasted with set vu'iuse for= creating sequence tu'ause for forming abstractions vu'ieffect of on meaning lu'oeffect of on meani= ng l= u'ieffect of on meaning lu'aeffect of= on meaning <= primary>tu'aeffect of on meaning The other sumti qualifiers follow the same rules. The cmavo=20 + sequence= contrasted with set vu'iuse for creating sequen= ce t= u'ause for forming abstractions vu'ie= ffect of on meaning lu'oeffect of on meaning lu'ieffect of on meaning lu'aeffect of on meaning tu'aeffect of on meaning The other sum= ti qualifiers follow the same rules. The cmavo=20 tu'a is used in forming abstractions, and is ex= plained more fully in=20 . The triplet=20 lu'a,=20 =20 lu'i, and=20 =20 lu'o convert between individuals, sets, and mas= ses;=20 =20 vu'i belongs to this group as well, but creates= a sequence, which is similar to a set but has a definite order. (The set o= f John and Charles is the same as the set of Charles and John, but the sequ= ences are different.) Here are some examples: =20 @@ -1405,21 +1404,20 @@ mi ce do girzu .i lu'o ri gunma .i vu'i ri porsi I in-a-set-with you are-a-set. The-mass-of it-last-mentione= d is-a-mass. The-sequence-of it-last-mentioned is-a-sequence The set of you and me is a set. The mass of you and me is a ma= ss. The sequence of you and me is a sequence. set of ratsexample (Yes, I know these examples = are a bit silly. This set was introduced for completeness, and practical ex= amples are as yet hard to come by.) negation sumti qu= alifiersmeanings of sumti qualifiersf= or negation Finally, the four sumti qualifiers form= ed from a cmavo of NAhE and=20 bo are all concerned with negation, which is di= scussed in detail in=20 . Here are a few examples of negat= ion sumti qualifiers: =20 - na'ebo<= /indexterm> FIXME: TAG SPOT <anchor xml:id=3D"c6e10d10"/> mi viska na'ebo le gerku =20 I see something-other-than the dog. @@ -1496,21 +1494,21 @@ doi instead of a pause: <anchor xml:id=3D"c6e11d4"/> coi doi djan. Hello, John. - doi= means exactly the same thing and does not require a pause. Usi= ng=20 + means exactly the same thing and does not require a pause. Using= =20 doi by itself is like just saying someone's nam= e to attract his or her attention: <anchor xml:id=3D"c6e11d5"/> doi djan. John! @@ -1554,21 +1552,21 @@ is the same as: <anchor xml:id=3D"c6e11d9"/> doi la djan. The-one-named John! - DOhU selma'o<= /primary> do= 'u voc= ative phrase terminatorelidability of vocative phraseelidable terminator for Finally, th= e elidable terminator for vocative phrases is=20 + DOhU selma'o<= /primary> vocati= ve phrase terminatorelidability of vocative phraseelidable terminator for Finally, the e= lidable terminator for vocative phrases is=20 do'u (of selma'o DOhU), which is rarely needed = except when a simple vocative word is being placed somewhere within a bridi= . It may also be required when a vocative is placed between a sumti and its= relative clause, or when there are a sequence of so-called=20 =20 free modifiers (vocatives, subscripts, utterance ordina= ls - see=20 =20 =20 - metalinguistic comments - see=20 - or reciprocals - see=20 ) which must be properly separate= d. vocative phraseeffect of position on meaning Th= e meaning of a vocative phrase that is within a sentence is not affected by= its position in the sentence: thus=20 =20 @@ -1622,21 +1620,20 @@ <anchor xml:id=3D"c6e12d2"/> la djonz. klama le zarci Jones goes to-the store. The Joneses go to-the store. - lai la FIXME: TAG SPOT <anchor xml:id=3D"c6e12d3"/> lai djonz. klama le zarci The-mass-of Joneses go to-the store. The Joneses go to the store. @@ -1647,21 +1644,21 @@ djonz. I can mean whomever I want: that person = need not use the name=20 djonz. at all. LA selma'ocontrasted with LE in use of name-words LE selma'ocontrasted with LA in use of name-words The s= umti in=20 and=20 operate exactly like the si= milar uses of=20 la and=20 lai in=20 and=20 respectively. The only diff= erence is that these descriptors are followed by Lojban name-words. And in = fact, the only difference between descriptors of selma'o LA (these three) a= nd of selma'o LE (all the other descriptors) is that the former can be foll= owed by name-words, whereas the latter cannot. =20 - la'i lai la LA selm= a'o doi = doieffect on necessity for pause before name-word LA selma= 'oeffect on necessity for pause before name-word name-word= spause requirements before name-words= limitations on There are certain limitations on the= form of name-words in Lojban. In particular, they cannot contain the lette= r-sequences (or sound-sequences)=20 + LA selma'o doieffect on necessity for pause before name-word LA selma'oeffect on necessity for pause before name-word name-wordspause requirements before name-wordslimitatio= ns on There are certain limitations on the form of = name-words in Lojban. In particular, they cannot contain the letter-sequenc= es (or sound-sequences)=20 =20 la,=20 lai, or=20 doi unless a consonant immediately precedes wit= hin the name. Reciprocally, every name not preceded by=20 la,=20 lai,=20 la'i, or=20 doi must be preceded by a pause instead: @@ -1755,21 +1752,21 @@ =20 <para> <indexterm type=3D"general-imported"><primary>names with la</pr= imary><secondary>implicit quantifier for</secondary></indexterm> The implic= it quantifier for name sumti of the form=20 <jbophrase>la</jbophrase> followed by a name is=20 <jbophrase>su'o</jbophrase>, just as for=20 <jbophrase>la</jbophrase> followed by a selbri.</para> </section> <section xml:id=3D"section-pro-sumti"> <title>Pro-sumti summary pro-sumticlasses of The Lojban pro-sumti are th= e cmavo of selma'o KOhA. They fall into several classes: personal, definabl= e, quantificational, reflexive, back-counting, indefinite, demonstrative, m= etalinguistic, relative, question. More details are given in=20 ; this section mostly dupli= cates information found there, but adds material on the implicit quantifier= of each pro-sumti. - ro<= /indexterm> pro-sumtiimplicit quantifier for The following= examples illustrate each of the classes. Unless otherwise noted below, the= implicit quantification for pro-sumti is=20 + pro-sumtiimplicit quantifier for The following e= xamples illustrate each of the classes. Unless otherwise noted below, the i= mplicit quantification for pro-sumti is=20 ro (all). In the case of pro-sumti which refer = to other sumti, the=20 ro signifies=20 all of those referred to by the other sumti: thus it is= possible to restrict, but not to extend, the quantification of the other s= umti. personal pro-sumt= i Personal pro-sumti (=20 mi,=20 do,=20 mi'o,=20 mi'a,=20 =20 ma'a,=20 @@ -1961,21 +1958,21 @@ question pro-sumt= iimplicit quantifier for The i= mplicit quantifier for the question pro-sumti is=20 =20 su'o (at least one), because the listener is on= ly being asked to supply a single answer, not all correct answers. definable pro-sum= tisequences of lerfu words as = In addition, sequences of lerfu words (of selma'o BY and related selma'o) c= an also be used as definable pro-sumti. =20
Quotation summary quotationfour kinds There are four kinds of quo= tation in Lojban: text quotation, words quotation, single-word quotation, n= on-Lojban quotation. More information is provided in . - li'u lu text quotatio= nas internally grammatical text quotationsyntax of Text quotations are preceded by=20 + text quotationas internally grammatical text quotations= yntax of Text quotations are preceded by=20 lu and followed by=20 li'u, and are an essential part of the surround= ing text: they must be grammatical Lojban texts. <anchor xml:id=3D"c6e14d1"/> mi cusku lu mi'e djan. li'u I say the-text [quote] I-am John [unquote]. I say I'm John. @@ -1996,42 +1993,42 @@ Note that the translation of=20 does not translate the Lojb= an words, because they are not presumed to have any meaning (in fact, they = are ungrammatical). single-word quota= tion Single-word quotation quotes a single Lojban wor= d. Compound cmavo are not allowed. =20 <anchor xml:id=3D"c6e14d3"/> mi cusku zo .ai - I say the-word=20 - .ai. + I say the-word=20 + .ai. non-Lojban quotat= ion Non-Lojban quotation can quote anything, Lojban o= r not, even non-speech such as drum talk, whistle words, music, or belching= . A Lojban word which does not appear within the quotation is used before a= nd after it to set it off from the surrounding Lojban text. <anchor xml:id=3D"c6e14d4"/> mi cusku zoi kuot. I'm John .kuot I say=20 I'm John. quotationimplicit quantifier for The implicit q= uantifier for all types of quotation is=20 su'o (at least one), because quotations are ana= logous to=20 lo descriptions: they refer to things which act= ually are words or sequences of words.
Number summary - li<= /indexterm> number sumtiwith li number sumtisyntax of= The sumti which refer to numbers consist of the cmavo=20 + number sumtiwith li number sumtisyntax of The sumti which refer to numbers consist of the cmavo=20 li (of selma'o LI) followed by an arbitrary Loj= ban mekso, or mathematical expression. This can be anything from a simple n= umber up to the most complicated combination of numbers, variables, operato= rs, and so on. Much more information on numbers is given in=20 . Here are a few examples of increasi= ng complexity: <anchor xml:id=3D"c6e15d1"/> li vo the-number four 4 commit 5b9fb44b9fd0c93d30cc27739a4b65e54b2c24a4 Author: Eitan Postavsky Date: Wed Jan 5 21:55:54 2011 -0500 Chapter 6 section titles. diff --git a/todocbook/20.xml b/todocbook/20.xml index b42aa71..e8e7178 100644 --- a/todocbook/20.xml +++ b/todocbook/20.xml @@ -187,21 +187,21 @@ ) When inserted between the components of a tanru, inverts it, so = that the following tanru unit modifies the previous one. mi troci co klama le zarci le zdani I am-a-trier of-type (goer to-the market from-the house). I try to go to the market from the house. =20 selma'o COI (=20 - ,=20 + ,=20 ) When prefixed to a name, description, or sumti, produces a vocat= ive: a phrase which indicates who is being spoken to (or who is speaking). = Vocatives are used in conversational protocols, including greeting, farewel= l, and radio communication. Terminated by=20 =20 . See=20 . coi .djan. Greetings, John. @@ -540,21 +540,21 @@ selma'o KOhA (=20 ) A general selma'o which contains all cmavo which can substitute = for sumti. These cmavo are divided into several groups. le blanu zdani goi ko'a cu barda .i ko'a na cmamau ti The blue house (referred to as it-1) is big. It-1 is-not smaller-than= this-thing. selma'o KU (=20 - ,=20 + ,=20 ) Elidable terminator for=20 and some uses of=20 . Indicates the end of a description sumti. Also= used after a tense or modal to indicate that no sumti follows, and in the = compound=20 +=20 to indicate natural language-style negation. le prenu ku le zdani ku klama The person, to-the house, goes. The person goes to the house. @@ -573,54 +573,54 @@ selma'o KUhO (=20 ) Elidable terminator for=20 . Indicates the end of a relative clause. le zdani poi blanu ku'o barda The house which is-blue is-big. selma'o LA (=20 - ) + ) Descriptors which change name words (or selbri) into sumti which= identify people or things by name. Similar to=20 =20 . May be terminated with=20 if followed by a description selbri. la kikeros. du la tulis. Cicero is Tully. selma'o LAU (=20 ) Combines with the following alphabetic letter to represent a sin= gle marker: change from lower to upper case, change of font, punctuation, e= tc.) =20 tau sy. .ibu [single-shift] =93s=94 =93i=94 Si (chemical symbol for silicon) selma'o LAhE (=20 - ) + ) Qualifiers which, when prefixed to a sumti, change it into anoth= er sumti with related meaning. Qualifiers can also consist of a cmavo from = selma'o=20 plus=20 . Terminated by=20 . mi viska la'e zoi kuot. A Tale of Two Cities .kuot I see that-represented-by the-text =93A Tale of Two Cities=94. I see the book =93A Tale of Two Cities=94. selma'o LE (=20 - ) + ) Descriptors which make selbri into sumti which describe or speci= fy things that fit into the x1 place of the selbri. Terminated by=20 . See=20 . le gerku cu klama le zdani The dog goes-to the house. selma'o LEhU (=20 ) @@ -678,21 +678,21 @@ selma'o LU (=20 ) Indicates the beginning of a quotation (a sumti) which is gramma= tical only if the quoted material also forms a grammatical Lojban text. Ter= minated by=20 . mi cusku lu mi klama le zarci li'u I express [quote] I go-to the market [end quote]. selma'o LUhU (=20 - ) + ) Elidable terminator for=20 and=20 +=20 . Indicates the end of a qualified sumti. mi viska la'e lu barda gerku li'u lu'u =20 =20 I see the-referent-of [quote] big dog [end quote] [end ref] I saw =93Big Dog=94 [not the words, but a book or movie]. diff --git a/todocbook/6.xml b/todocbook/6.xml index a624cc2..1acdbb3 100644 --- a/todocbook/6.xml +++ b/todocbook/6.xml @@ -1,23 +1,23 @@ To Speak Of Many Things: The Lojban sumti -
+
The five kinds of simple sumti =20 sumtidefinition simple sumti If you understand anythi= ng about Lojban, you know what a sumti is by now, right? An argument, one o= f those things that fills the places of simple Lojban sentences like: <anchor xml:id=3D"c6e1d1"/> mi klama le zarci - I go-to the market + I go-to the market pro-sumticontrasted with description In=20 ,=20 mi and=20 le zarci are the sumti. It is easy to see that = these two sumti are not of the same kind:=20 mi is a pro-sumti (the Lojban analogue of a pro= noun) referring to the speaker, whereas=20 le zarci is a description which refers to somet= hing described as being a market. sumtikinds of There are five kinds of simple su= mti provided by Lojban: =20 @@ -90,24 +90,24 @@ li<= /indexterm> ti= =20 exhibits=20 ti, a pro-sumti; and=20 li ci, a number. Most of this chapter is about descriptions, as they have the mos= t complicated syntax and usage. Some attention is also given to names, whic= h are closely interwoven with descriptions. Pro-sumti, numbers, and quotati= ons are described in more detail in=20 ,=20 , and=20 respectively, so this chapter on= ly gives summaries of their forms and uses. See=20 - through=20 - for these summaries. + through=20 + for these summaries.
-
+
The three basic description types descriptionstypes of The following cmavo are di= scussed in this section: le LE the, the one(s) described as lo @@ -120,21 +120,21 @@ the one(s) named ku KU elidable terminator for LE, LA LA selma'o LE s= elma'o selbrias part of description = descriptoras part of description descriptionscomponents of descriptio= nstypes of The syntax of descr= iptions is fairly complex, and not all of it can be explained within the co= nfines of this chapter: relative clauses, in particular, are discussed in= =20 . However, most descriptio= ns have just two components: a descriptor belonging to selma'o LE or LA, an= d a selbri. (The difference between selma'o LE and selma'o LA is not import= ant until=20 - .) Furthermore, the selbri i= s often just a single brivla. Here is an elementary example: + .) Furthermore, the selbri is often j= ust a single brivla. Here is an elementary example: <anchor xml:id=3D"c6e2d1"/> le zarci one-or-more-specific-things-each-of-which-I-describe-as bei= ng-a-market the market @@ -157,21 +157,21 @@ le zarci cu barda One-or-more-specific-things-which-I-describe as mark= ets is/are-big. The market is big. The markets are big. plurals= Lojban contrasted with English in necessity of marking Note that English-speakers must state whether a reference to= markets is to just one (=20 the market) or to more than one (=20 the markets). Lojban requires no such forced choice, so= both colloquial translations of=20 are valid. Only the context= can specify which is meant. (This rule does not mean that Lojban has no wa= y of specifying the number of markets in such a case: that mechanism is exp= lained in=20 - .) + .) The men are women= example Now consider the follo= wing strange-looking example: <anchor xml:id=3D"c6e2d3"/> le nanmu cu ninmu One-or-more-specific-things-which-I-describe as men<= /quote> are women. The man is a woman. The men are women. @@ -221,21 +221,21 @@ must be false in Lojban, given that there are no objects in the = real world which are both men and women. Pointing at some specific men or w= omen would not make=20 =20 true, because those specifi= c individuals are no more both-men-and-women than any others. In general,= =20 lo refers to whatever individuals meet its desc= ription. la<= /indexterm> lause with descriptions contrasted with use before Lojbanized names lecompared with la in specificity <= indexterm type=3D"general-imported">lacompare= d with le in specificity laimplications of The last descriptor of this section is=20 la, which indicates that the selbri which follo= ws it has been dissociated from its normal meaning and is being used as a n= ame. Like=20 le descriptions,=20 la descriptions are implicitly restricted to th= ose I have in mind. (Do not confuse this use of=20 la with its use before regular Lojbanized names= , which is discussed in=20 - .) For example: + .) For example: <anchor xml:id=3D"c6e2d6"/> la cribe pu finti le lisri The-one-named=20 bear [past] creates the story. Bear wrote the story. @@ -333,21 +333,21 @@ ku. It can almost always be omitted with no dan= ger of ambiguity. The main exceptions are in certain uses of relative claus= es, which are discussed in=20 , and in the case of a des= cription immediately preceding the selbri. In this latter case, using an ex= plicit=20 cu before the selbri makes the=20 ku unnecessary. There are also a few other uses= of=20 ku: in the compound negator=20 naku (discussed in=20 ) and to terminate place-structure= , tense, and modal tags that do not have associated sumti (discussed in=20 and=20 ).
-
+
Individuals and masses The following cmavo are discussed in this section: lei LE the mass I describe as loi @@ -358,22 +358,22 @@ lai LA the mass of those named sumtifor set objects sumtifor mass objects= sumti= for individual objects sumticlassified by type= s of objects referred to All Lojban sumti are class= ified by whether they refer to one of three types of objects, known as=20 individuals,=20 masses, and=20 sets. The term=20 individual is misleading when used to refer to more tha= n one object, but no less-confusing term has as yet been found. All the des= criptions in=20 - and=20 - refer to individuals, whethe= r one or more than one. Consider the following example: + and=20 + refer to individuals, wh= ether one or more than one. Consider the following example: <anchor xml:id=3D"c6e3d1"/> le prenu cu bevri le pipno One-or-more-of-those-I-describe-as persons carry the piano.= =20 The person(s) carry the piano. =20 @@ -433,21 +433,21 @@ <anchor xml:id=3D"c6e3d4"/> loi glipre cu xabju le fi'ortu'a Part-of-the-mass-of-those-which-really are-English-persons = dwell in-the African-land. The English dwell in Africa. Englishman in Afr= icaexample since there is at l= east one English person living there.=20 - explains another method of s= aying what is usually meant by=20 + explains another method of saying wha= t is usually meant by=20 The lion lives in Africa which does imply that living i= n Africa is normal, not exceptional, for lions. mass objectspeculiarities of English translation of Note that the Lojban mass articles are sometimes translated by English= plurals (the most usual case), sometimes by English singulars (when the si= ngular is used to express typicalness or abstraction), and sometimes by sin= gulars with no article: =20 =20 <anchor xml:id=3D"c6e3d5"/> loi matne cu ranti @@ -481,21 +481,21 @@ The Bears wrote this book. Bears wrote book<= /primary>example laicontrasted with la in impli= cations lacontrasted with lai in implications<= /indexterm> in a context where=20 la cribe would be understood as plural, would m= ean that either Tom Bear or Fred Bear (to make up some names) might have wr= itten the book, or that Tom and Fred might have written it as collaborators= . Using=20 =20 la instead of=20 lai in=20 would give the implication = that each of Tom and Fred, considered individually, had written it.
-
+
Masses and sets The following cmavo are discussed in this section: le'i LE the set described as lo'i @@ -575,39 +575,39 @@ I am a typical Lojban user. =20 Note that the x2 place has been omitted; I am not specifying in = exactly which way I am typical - whether in language knowledge, or age, or = interests, or something else. If=20 lo'i were changed to=20 lo in=20 , the meaning would be somet= hing like=20 I am typical of some Lojban user, which is nonsense.
-
+
Descriptors for typical objects =20 The following cmavo are discussed in this section: lo'e LE the typical le'e LE the stereotypical =20 lo'e As promised in=20 - , Lojban has a method for dis= criminating between=20 + , Lojban has a method for discrimina= ting between=20 the lion who lives in Africa and=20 the Englishman who, generally speaking, doesn't live in= Africa even though some Englishmen do. The descriptor=20 lo'e means=20 the typical, as in <anchor xml:id=3D"c6e5d1"/> lo'e cinfo cu xabju le fi'ortu'a @@ -665,21 +665,21 @@ Hollywoodexample is probably true to an America= n, but might be false (not the stereotype) to someone living in India or Ru= ssia. typical Smithexample name equivalent for typicalrationale for lack of Note that there is n= o naming equivalent of=20 lo'e and=20 le'e, because there is no need, as a rule, for = a=20 typical George or a=20 typical Smith. People or things who share a common name= do not, in general, have any other common attributes worth mentioning. =20
-
+
Quantified sumti The following cmavo are discussed in this section: ro PA all of/each of su'o @@ -696,21 +696,21 @@ vo, and=20 mu, meaning=20 one,=20 two,=20 three,=20 four,=20 five respectively, or else one of four special quantifi= ers, two of which are discussed in this section and listed above. These fou= r quantifiers are important because every Lojban sumti has either one or tw= o of them implicitly present in it - which one or two depends on the partic= ular kind of sumti. There is more explanation of implicit quantifiers later= in this section. (The other two quantifiers,=20 piro and=20 pisu'o, are explained in=20 =20 - .) + .) Every Lojban sumti may optionally be preceded by an explicit qua= ntifier. The purpose of this quantifier is to specify how many of the thing= s referred to by the sumti are being talked about. Here are some simple exa= mples contrasting sumti with and without explicit quantifiers: <anchor xml:id=3D"c6e6d1"/> do cadzu le bisli You walk-on the ice. @@ -826,21 +826,21 @@ <anchor xml:id=3D"c6e6d8"/> mi cusku re lu do cadzu le bisli li'u I express two-of [quote] you walk-on the ice [unquote]. means that I say the sentence exactly twice, neither more nor le= ss.
-
+
Quantified descriptions The following cmavo are discussed in this section: piro PA the whole of quantificationbefore description sumti compared with before non-descrip= tion sumti Like other sumti, descriptions can be qu= antified. When a quantifier appears before a description, it has the same m= eaning as one appearing before a non-description sumti: it specifies how ma= ny things, of all those referred to by the description, are being talked ab= out in this particular bridi. Suppose that context tells us that=20 @@ -998,21 +998,21 @@ pisu'o specifies a portion consisting of at lea= st one part of a thing, i.e. some of it. =20 portion= on set contrasted with on individual outer quantifiersfor expressing subsets subsetsexpressing with outer= quantifiers Smaller quantifiers are possible for s= ets, and refer to subsets. Thus=20 =20 pimu le'i nanmu is a subset of the set of men I= have in mind; we don't know precisely which elements make up this subset, = but it must have half the size of the full set. This is the best way to say= =20 half of the men; saying=20 pimu le nanmu would give us a half-portion of o= ne of them instead! Of course, the result of=20 pimu le'i nanmu is still a set; if you need to = refer to the individuals of the subset, you must say so (see=20 lu'a in=20 =20 - ). + ). loimplicit outer quantifier for leimplicit outer quant= ifier for individual descriptorsdifferent implicit outer q= uantifiers among outer quantifiersrationale for difference= s in implicit quantifier on descriptors The case of= outer quantifiers for individual descriptors (including=20 le,=20 lo,=20 la, and the typical descriptors=20 le'e and=20 lo'e) is special. When we refer to specific ind= ividuals with=20 le, we mean to refer to all of those we have in= mind, so=20 ro is appropriate as the implicit quantifier, j= ust as it is appropriate for=20 do. Reference to non-specific individuals with= =20 lo, however, is typically to only some of the o= bjects which can be correctly described, and so=20 @@ -1067,21 +1067,21 @@ claims that some dog (or do= gs) is white, but also that there are just three dogs in the universe! Nevertheless, inner quantifiers are permitted on=20 lo descriptors for consistency's sake, and may = occasionally be useful. Note that the inner quantifier of=20 le, even when exact, need not be truthful:=20 le ci nanmu means=20 what I describe as three men, not=20 three of what I describe as men. This follows from the = rule that what is described by a=20 le description represents the speaker's viewpoi= nt rather than the objective way things are.
-
+
Indefinite descriptions descriptorsomission of loomission of By a quirk of Lojban syntax, it is possible to omit the descriptor= =20 lo, but never any other descriptor, from a desc= ription like that of=20 ; namely, one which has an e= xplicit outer quantifier but no explicit inner quantifier. The following ex= ample: <anchor xml:id=3D"c6e8d1"/> ci gerku [ku] cu blabi @@ -1110,24 +1110,24 @@ <anchor xml:id=3D"c6e8d2"/> mi ponse su'o ci lo cutci I possess at-least three things-which-really-are shoes I own three (or more) shoes.
-
+
sumti-based descriptions As stated in=20 - , most descriptions consist o= f just a descriptor and a selbri. (In this chapter, the selbri have always = been single gismu, but of course any selbri, however complex, can be employ= ed in a description. The syntax and semantics of selbri are explained in=20 + , most descriptions consi= st of just a descriptor and a selbri. (In this chapter, the selbri have alw= ays been single gismu, but of course any selbri, however complex, can be em= ployed in a description. The syntax and semantics of selbri are explained i= n=20 .) In the intervening sections, inne= r and outer quantifiers have been added to the syntax. Now it is time to di= scuss a description of a radically different kind: the sumti-based descript= ion. =20 sumti-based descr= iptionouter quantifier on sumti-based descriptioninner quantifier on sumti-based descriptiondef= inition A sumti-based description has a sumti where= the selbri would normally be, and the inner quantifier is required - it ca= nnot be implicit. An outer quantifier is permitted but not required. =20 A full theory of sumti-based descriptions has yet to be worked o= ut. One common case, however, is well understood. Compare the following: <anchor xml:id=3D"c6e9d1"/> @@ -1183,21 +1183,21 @@ One-of the two-of the three bears are-brown. =20 three bearsexample sumti-based descriptions with leas = increasing restricting to in-mind In each case,=20 le ci cribe restricts the bears (or alleged bea= rs) being talked of to some group of three which the speaker has in mind.= =20 says that two of them (whic= h two is not stated) are brown.=20 says that a specific pair o= f them are brown.=20 says that of a specific pai= r chosen from the original three, one or the other of that pair is brown.
-
+
sumti qualifiers The following cmavo are discussed in this section: sumti qualifiers<= /primary>list of FIXME: TAG SPOT la'e LAhE something referred to by @@ -1440,21 +1440,21 @@ lukewarm foodexample (In=20 , the sumti=20 ra refers to some previously mentioned sumti ot= her than that referred to by=20 ri. We cannot use=20 ri here, because it would signify=20 la djein., that being the most recent sumti ava= ilable to=20 ri. See more detailed explanations in=20 .)
-
+
The syntax of vocative phrases vocative phrases<= /primary>as a free modifier Vocative phrases are not sumti, but are explained in this chapter becaus= e their syntax is very similar to that of sumti. Grammatically, a vocative = phrase is one of the so-called=20 =20 free modifiers of Lojban, along with subscripts, parent= heses, and various other constructs explained in=20 =20 . They can be placed after many, = but not all, constructions of the grammar: in general, after any elidable t= erminator (which, however, must not then be elided!), at the beginnings and= ends of sentences, and in many other places. DOI selma'o COI= selma'o vocative phrasepurpose of T= he purpose of a vocative phrase is to indicate who is being addressed, or t= o indicate to that person that he or she ought to be listening. A vocative = phrase begins with a cmavo of selma'o COI or DOI, all of which are explaine= d in more detail in=20 =20 . Sometimes that is all there = is to the phrase: @@ -1588,41 +1588,41 @@ ko klama mi doi djan. Come to me, John! As usual for this chapter, the full syntax of vocative phrases h= as not been explained: relative clauses, discussed in=20 , make for more possibilit= ies.
-
+
Lojban names Names have been used freely as sumti throughout this chapter wit= hout too much explanation. The time for the explanation has now come. name wordsrecognition of namestwo kinds of= First of all, there are two different kinds of things usually = called=20 names when talking about Lojban. The naming pre= dicates of=20 - are just ordinary predicates= which are being used in a special sense. In addition, though, there is a c= lass of Lojban words which are used only to name things: these can be recog= nized by the fact that they end in a consonant followed by a pause. Some ex= amples: + are just ordinary predic= ates which are being used in a special sense. In addition, though, there is= a class of Lojban words which are used only to name things: these can be r= ecognized by the fact that they end in a consonant followed by a pause. Som= e examples: <anchor xml:id=3D"c6e12d1"/> djan. meris. djein. .alis. John. Mary. Jane. Alice. (Note that=20 .alis. begins as well as ends with a pause, bec= ause all Lojban words beginning with a vowel must be preceded by a pause. S= ee=20 for more information.) nameswith LA descriptor namesin vocative phrase namesuses of Names of this kind have two= basic uses in Lojban: when used in a vocative phrase (see=20 =20 - ) they indicate who the list= ener is or should be. When used with a descriptor of selma'o LA, namely=20 + ) they indicate who the listener = is or should be. When used with a descriptor of selma'o LA, namely=20 la,=20 lai, or=20 la'i, they form sumti which refer to the person= s or things known by the name. <anchor xml:id=3D"c6e12d2"/> la djonz. klama le zarci Jones goes to-the store. @@ -1751,21 +1751,21 @@ names from vowel-= final basecommonly used consonant endings<= /indexterm> names<= secondary>borrowing from other languages When borro= wing names from another language which end in a vowel, or when turning a Lo= jban brivla (all of which end in vowels) into a name, the vowel may be remo= ved or an arbitrary consonant added. It is common (but not required) to use= the consonants=20 =20 s or=20 n when borrowing vowel-final nam= es from English; speakers of other languages may wish to use other consonan= t endings. =20 names with laimplicit quantifier for The implic= it quantifier for name sumti of the form=20 la followed by a name is=20 su'o, just as for=20 la followed by a selbri.
-
+
Pro-sumti summary pro-sumticlasses of The Lojban pro-sumti are th= e cmavo of selma'o KOhA. They fall into several classes: personal, definabl= e, quantificational, reflexive, back-counting, indefinite, demonstrative, m= etalinguistic, relative, question. More details are given in=20 ; this section mostly dupli= cates information found there, but adds material on the implicit quantifier= of each pro-sumti. ro<= /indexterm> pro-sumtiimplicit quantifier for The following= examples illustrate each of the classes. Unless otherwise noted below, the= implicit quantification for pro-sumti is=20 ro (all). In the case of pro-sumti which refer = to other sumti, the=20 ro signifies=20 all of those referred to by the other sumti: thus it is= possible to restrict, but not to extend, the quantification of the other s= umti. personal pro-sumt= i Personal pro-sumti (=20 mi,=20 do,=20 @@ -1958,21 +1958,21 @@ You go to-what-sumti? Where are you going? question pro-sumt= iimplicit quantifier for The i= mplicit quantifier for the question pro-sumti is=20 =20 su'o (at least one), because the listener is on= ly being asked to supply a single answer, not all correct answers. definable pro-sum= tisequences of lerfu words as = In addition, sequences of lerfu words (of selma'o BY and related selma'o) c= an also be used as definable pro-sumti. =20
-
+
Quotation summary quotationfour kinds There are four kinds of quo= tation in Lojban: text quotation, words quotation, single-word quotation, n= on-Lojban quotation. More information is provided in . li'u lu text quotatio= nas internally grammatical text quotationsyntax of Text quotations are preceded by=20 lu and followed by=20 li'u, and are an essential part of the surround= ing text: they must be grammatical Lojban texts. <anchor xml:id=3D"c6e14d1"/> @@ -2015,21 +2015,21 @@ mi cusku zoi kuot. I'm John .kuot I say=20 I'm John. quotationimplicit quantifier for The implicit q= uantifier for all types of quotation is=20 su'o (at least one), because quotations are ana= logous to=20 lo descriptions: they refer to things which act= ually are words or sequences of words.
-
+
Number summary li<= /indexterm> number sumtiwith li number sumtisyntax of= The sumti which refer to numbers consist of the cmavo=20 li (of selma'o LI) followed by an arbitrary Loj= ban mekso, or mathematical expression. This can be anything from a simple n= umber up to the most complicated combination of numbers, variables, operato= rs, and so on. Much more information on numbers is given in=20 . Here are a few examples of increasi= ng complexity: <anchor xml:id=3D"c6e15d1"/> li vo diff --git a/todocbook/TODO b/todocbook/TODO index 1e3cc75..60dc924 100644 --- a/todocbook/TODO +++ b/todocbook/TODO @@ -4,21 +4,21 @@ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 Most of the below is intended to be done as needed as you review a particular chapter/section. It looks like more complexity than it actually is; you'll get used to it. =20 SAY HERE WHAT YOU'VE DONE, including parts you haven't completed (like index work). =20 Robin Powell: 5.1, 5.2, 5.3 -Zort: 3, 4, 5 (they still contain FIXMEs though) +Zort: 3, 4, 5 (they contain FIXMEs though) =20 ------ =20 Ignore Chapter 2 for now. =20 ------ =20 If you have any trouble, add a FIXME comment, like so: =20 --=20 You received this message because you are subscribed to the Google Groups "= BPFK" group. To post to this group, send email to bpfk-list@googlegroups.com. To unsubscribe from this group, send email to bpfk-list+unsubscribe@googleg= roups.com. For more options, visit this group at http://groups.google.com/group/bpfk-l= ist?hl=3Den.