Received: from mail-ye0-f192.google.com ([209.85.213.192]:38791) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1UoL3j-0003fQ-NV for lojban-list-archive@lojban.org; Sun, 16 Jun 2013 15:04:34 -0700 Received: by mail-ye0-f192.google.com with SMTP id m15sf803579yen.29 for ; Sun, 16 Jun 2013 15:04:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:mime-version:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=hdfxjpPF0MhAdjmQRrGEkEdtHe73vYFOdEYjRSh8V1U=; b=l8ZVS9R7PH7XU5babHafj1fXudAcTaCiaj1Ffx0v4QLZSAP6ibT09vZNs/MC4A53my Y95UXQZQvUIndm0TH3qfrYafIFLTLKuDF9Td6g7NN9FuMqetHTeQdCo7qGTs4GXSbxKu uyPZrQZ6EszDTUlgE34YYt8Adaa4W2VDWc2bZYsyFItIiL23tvKNL0Lk2Z442elflFr4 EIdICfltYoanQGd0AfRqjUlOLn7T/kBuiWG/v8MTgilcPxs23we478fgUz05uPk5yGzq fywbVTgkrnd3klR0mxD4m9hCpaS5WNr3RF/5R0QR0CSrfYuObiTj9muOlGPs2HQ5HvoV Kuhw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-beenthere:mime-version:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=hdfxjpPF0MhAdjmQRrGEkEdtHe73vYFOdEYjRSh8V1U=; b=bmV77megnf5n0+JAzMI3E8Vq3NjAZnhIo2Uys/Js6iXzd0l3xsfjd7hWhxsHSu6EAh Bc2+GxgMBubkj5q7anr0De7i7tJKi5HFsil7Pxi8lGPhcwDdpk97Y0reAHE0D3JrAn6G 8oETtqFZnhoxw5P9F9eNNuC4ZrBIHrJeaodau95YzWUUHLnk2gkZGNwoZH95lgVVfPQ9 yVmCOldMiQEXGBeN4U9NBPDbiF45TzUAGPh4Ph/rFjo1fFSgO01TcA3OZvble5pnAIt4 ASL1oCZtcM20X++aTDgIDSZ8cGspL7BTDvsbIQ9Tsl8SyrRrxcEE8sDClDQqqSFYixnz aS6Q== X-Received: by 10.50.147.98 with SMTP id tj2mr304487igb.10.1371420260282; Sun, 16 Jun 2013 15:04:20 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.61.228 with SMTP id t4ls716730igr.1.gmail; Sun, 16 Jun 2013 15:04:19 -0700 (PDT) X-Received: by 10.50.131.228 with SMTP id op4mr7930847igb.4.1371420259657; Sun, 16 Jun 2013 15:04:19 -0700 (PDT) Received: from mail-ie0-x233.google.com (mail-ie0-x233.google.com [2607:f8b0:4001:c03::233]) by gmr-mx.google.com with ESMTPS id e3si1067869igy.0.2013.06.16.15.04.19 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 16 Jun 2013 15:04:19 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::233 as permitted sender) client-ip=2607:f8b0:4001:c03::233; Received: by mail-ie0-f179.google.com with SMTP id c10so5340056ieb.38 for ; Sun, 16 Jun 2013 15:04:19 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.154.106 with SMTP id vn10mr3484604igb.0.1371420259126; Sun, 16 Jun 2013 15:04:19 -0700 (PDT) Received: by 10.64.29.179 with HTTP; Sun, 16 Jun 2013 15:04:19 -0700 (PDT) In-Reply-To: <3729f7bd-3aa6-499c-9a20-4b3d040d3ad8@googlegroups.com> References: <3729f7bd-3aa6-499c-9a20-4b3d040d3ad8@googlegroups.com> Date: Sun, 16 Jun 2013 18:04:19 -0400 Message-ID: Subject: Re: [lojban] A bug in the CLL 7.6 example 6.14). From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::233 as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=047d7bd74b626212c604df4ca95e X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --047d7bd74b626212c604df4ca95e Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Useful examples of {nei} are somewhat hard to produce. As selbri or even seltau it is essentially useless, because the result is recursive; this is the case for 6.14. Even as sumti it's not that common, in my experience, to need {lo SE nei} and be unable to use both {vo'V} and {ri}, since this means you need nesting and a nested bridi with > 2 sumti in it. mi'e la latro'a mu'o On Sun, Jun 16, 2013 at 2:46 PM, la arxokuna wr= ote: > http://dag.github.io/cll/7/6/ > > For good examples of =93nei=94 and =93no'a=94, we need nested bridi conte= xts: > > 6.14) mi se pluka le nu do pensi > le nu nei kei pu le nu do zukte > I am-pleased-by the event-of (you think-about > (the event-of [main bridi]) before the-event of (your acting= ). > I am pleased that you thought about whether I > would be pleased (about ...) before you acted. > 6.15) mi ba klama ca le nu do no'a > I [future] go [present] the event-of you [repeats outer bridi] > I will go when you do. > > > Acc. to jvs {nei} =3D pro-bridi: repeats the current bridi. > > So the CLL contradicts it. > > I also don't understand the meaning of example 6.14) if we assume {nei} > refers to the current bridi, not the main bridi (the one that has {se > pluka} as a selbri). > > I suggest removing 6.14) and replacing it with something having the > correct usage of {nei}. > I suggested {mi lumci lo nei} (I wash myself) but JCowan said there could > be much better examples. > > -- > You received this message because you are subscribed to the Google Groups > "lojban" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to lojban+unsubscribe@googlegroups.com. > To post to this group, send email to lojban@googlegroups.com. > Visit this group at http://groups.google.com/group/lojban. > For more options, visit https://groups.google.com/groups/opt_out. > > > --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/groups/opt_out. --047d7bd74b626212c604df4ca95e Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable
Useful examples of {nei} are somewhat hard to produce. As = selbri or even seltau it is essentially useless, because the result is recu= rsive; this is the case for 6.14. Even as sumti it's not that common, i= n my experience, to need {lo SE nei} and be unable to use both {vo'V} a= nd {ri}, since this means you need nesting and a nested bridi with > 2 s= umti in it.

mi'e la latro'a mu'o

On Sun, Jun 16, 2013 at 2:46 PM, la arxoku= na <gleki.is.my.name@gmail.com> wrote:
http://dag.github.io/cll/7/6/

For good examples of =93nei=94 and =93no'a=94, we need nested bridi con= texts:

6.14)  mi se pluka le nu do pensi
             le nu nei kei pu le nu do zukte
       I am-pleased-by the event-of (you think-about
             (the event-of [main bridi]) before the-event of (your acting).
       I am pleased that you thought about whether I
             would be pleased (about ...) before you acted.

6.15)  mi ba klama ca le nu do no'=
a
       I [future] go [present] the event-of you [repeats outer bridi]
       I will go when you do.

Acc. to jvs {n= ei} =3D pro-bridi: repeats the current bridi.

So t= he CLL=A0contradicts it.

I also don't understa= nd the meaning of example 6.14) if we assume {nei} refers to the current br= idi, not the main bridi (the one that has {se pluka} as a selbri).

I suggest removing 6.14) and replacing it with somethin= g having the correct usage of {nei}.
I suggested {mi lumci lo nei= } (I wash myself) but JCowan said there could be much better examples.

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.
=A0
=A0

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit https://groups.google.com/groups/opt_out.
 
 
--047d7bd74b626212c604df4ca95e--