Received: from mail-lb0-f184.google.com ([209.85.217.184]:37463) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XbGm6-0001Es-4w for lojban-list-archive@lojban.org; Mon, 06 Oct 2014 15:29:10 -0700 Received: by mail-lb0-f184.google.com with SMTP id p9sf523351lbv.11 for ; Mon, 06 Oct 2014 15:28:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=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:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=oMH2I+mfrdV40pqPbwbyGcnkuQ74S8T9uquta6hB1Og=; b=lGnD7E+Q8qF4Rvd7/BQzHcSUJqGfjlUrNPo9jLNlEs2Kuo56GKMaxd61zQKOBGohmI FVTC+81BT+X+cy22ngoW2o5S/0iojerDR3z9MxNzk1RFjtQjr7pP9IJCNRkdGmijeFVM H3NaFaGRVaRP1SI7KICir/rYx6pMUkkuxs/wo2MXsTWdGzJtZJcf/BSddgALcRsWwV9T ORT09w4qzlNdJfEbp4xyv0dwFQ6GQBCo2YBp0y+G/KL/LlWYL9xlked6lHnpvZ4HEyuP YEmDZ4cYSZQjuOa8pookWyugaZhZ8mDnA/x7fIUEGhpQVuh0GPbtzO5uXe1aFtIR3ULy UDYw== X-Received: by 10.180.9.114 with SMTP id y18mr79058wia.21.1412634534818; Mon, 06 Oct 2014 15:28:54 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.180.87.1 with SMTP id t1ls644796wiz.13.canary; Mon, 06 Oct 2014 15:28:54 -0700 (PDT) X-Received: by 10.194.179.196 with SMTP id di4mr4148292wjc.0.1412634534422; Mon, 06 Oct 2014 15:28:54 -0700 (PDT) Received: from mail-la0-x234.google.com (mail-la0-x234.google.com [2a00:1450:4010:c03::234]) by gmr-mx.google.com with ESMTPS id rb5si1658666lbb.0.2014.10.06.15.28.54 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 06 Oct 2014 15:28:54 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c03::234 as permitted sender) client-ip=2a00:1450:4010:c03::234; Received: by mail-la0-x234.google.com with SMTP id hz20so5341943lab.11 for ; Mon, 06 Oct 2014 15:28:54 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.152.203.225 with SMTP id kt1mr27497609lac.68.1412634534273; Mon, 06 Oct 2014 15:28:54 -0700 (PDT) Received: by 10.114.25.229 with HTTP; Mon, 6 Oct 2014 15:28:54 -0700 (PDT) In-Reply-To: <20141006030238.GF1974@gonzales> References: <20140928160229.GD28734@gonzales> <20141004141748.GH32481@gonzales> <20141005154837.GB1974@gonzales> <20141006030238.GF1974@gonzales> Date: Mon, 6 Oct 2014 19:28:54 -0300 Message-ID: Subject: Re: [lojban] Re: {da poi} (was: Re: tersmu 0.2 From: =?UTF-8?Q?Jorge_Llamb=C3=ADas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c03::234 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=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: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=001a113458c49ce8ff0504c89b98 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --001a113458c49ce8ff0504c89b98 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Mon, Oct 6, 2014 at 12:02 AM, Martin Bays wrote: > * Sunday, 2014-10-05 at 15:03 -0300 - Jorge Llamb=C3=ADas >: > > > What value does "ko'a" get in "su'oi tadni poi sruri su'o dinju zi'e go= i > > ko'a"? Or for that matter in "su'oi tadni goi ko'a", or in "no tadni go= i > > ko'a"? I think that's the value that the noi-clause should be about. > > Well... in all cases, I just have ko'a binding to the variable, so that > doesn't help at all! > How about in "ko'a goi su'o tadni cu broda" or "ko'a goi no tadni cu broda"? (so I have e.g. {ro broda goi ko'a brode ko'a} -> > {ro da poi broda cu brode da}, and {ro broda goi ko'a du .i ko'a du} > being an error.) > Is it an error because you don't admit unassigned "ko'a" i.e. is "ko'a du" by itself an error? Or is it an error because "ko'a" was at some point bound to a bound variable, and that makes that variable unusable until it is cleared with whatever the cmavo for clearing it was, which I can't remember now? mu'o mi'e xorxes --=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/d/optout. --001a113458c49ce8ff0504c89b98 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Mon, Oct 6, 2014 at 12:02 AM, Martin Bays <mbays@sdf.org> wr= ote:
* Sunday, 2014-10-05 at 15:03 -0300 = - Jorge Llamb=C3=ADas <jjllambia= s@gmail.com>:

> What value does "ko'a" get in "su'oi tadni poi = sruri su'o dinju zi'e goi
> ko'a"? Or for that matter in "su'oi tadni goi ko'= ;a", or in "no tadni goi
> ko'a"? I think that's the value that the noi-clause shoul= d be about.

Well... in all cases, I just have ko'a binding to the variable, = so that
doesn't help at all!

How about in &= quot;ko'a goi su'o tadni cu broda" or "ko'a goi no ta= dni cu broda"?=C2=A0

Is it an error beca= use you don't admit unassigned "ko'a" i.e. is "ko= 9;a du" by itself an error? Or is it an error because "ko'a&q= uot; was at some point bound to a bound variable, and that makes that varia= ble unusable until it is cleared with whatever the cmavo for clearing it wa= s, which I can't remember now?

mu'o mi'e xorxes

--
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+unsub= scribe@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 http= s://groups.google.com/d/optout.
--001a113458c49ce8ff0504c89b98--