Received: from mail-wg0-f61.google.com ([74.125.82.61]:35889) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XnS6A-0004WJ-OX for lojban-list-archive@lojban.org; Sun, 09 Nov 2014 05:00:16 -0800 Received: by mail-wg0-f61.google.com with SMTP id a1sf502765wgh.6 for ; Sun, 09 Nov 2014 05:00:00 -0800 (PST) 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=u4249dFPVuz2zmY5DaGBMFyTg7KqgUGrON96c2Z0yCg=; b=x5xYGo6qVfMGLFfPVtkf5C8fm8Qme1Qm0/0rg/lh+P52EkfITcHoRHediE7Kun8S2Y EemNKZHexPeNQ8dXOwyLgHSSv3BRMIfJaTFnlevyE809jgJTJi57DkNdJjk37+YPdZod B/5Ut0q+i+EdEBclsgwlW3QNwiXG4pDdbuQXyuQhiNk4+3GT3BG6qvTPprYt7ujPmzh4 Hm85pTCL/OMxKIuym0uvgmt2ruZ0ydZgF3zbAyogoUEBfDUBOOcPaNp3GiXx0nd8K4DE HPJZs0Uq384NBaahCR0E36itL8p77a6SQj8b1dr1f/TNJGQloq3eJIyUKq5jHnEY4RiF S8Kw== X-Received: by 10.180.198.36 with SMTP id iz4mr63013wic.4.1415538000307; Sun, 09 Nov 2014 05:00:00 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.180.100.1 with SMTP id eu1ls788663wib.43.gmail; Sun, 09 Nov 2014 04:59:59 -0800 (PST) X-Received: by 10.180.89.7 with SMTP id bk7mr2676124wib.6.1415537999620; Sun, 09 Nov 2014 04:59:59 -0800 (PST) Received: from mail-wg0-x22e.google.com (mail-wg0-x22e.google.com. [2a00:1450:400c:c00::22e]) by gmr-mx.google.com with ESMTPS id l9si607684wix.1.2014.11.09.04.59.59 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 09 Nov 2014 04:59:59 -0800 (PST) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:400c:c00::22e as permitted sender) client-ip=2a00:1450:400c:c00::22e; Received: by mail-wg0-f46.google.com with SMTP id x13so7085264wgg.19 for ; Sun, 09 Nov 2014 04:59:59 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.180.101.102 with SMTP id ff6mr22284348wib.34.1415537999524; Sun, 09 Nov 2014 04:59:59 -0800 (PST) Received: by 10.217.105.201 with HTTP; Sun, 9 Nov 2014 04:59:59 -0800 (PST) In-Reply-To: <20141108232204.GB31242@gonzales> References: <20141105035457.GA7768@gonzales> <20141106232818.GB1433@gonzales> <20141108030052.GC8542@gonzales> <20141108171036.GA10866@gonzales> <20141108220257.GA31242@gonzales> <20141108232204.GB31242@gonzales> Date: Sun, 9 Nov 2014 09:59:59 -0300 Message-ID: Subject: Re: [lojban] 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:400c:c00::22e 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=f46d04182620a0bacf05076c9f0b X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --f46d04182620a0bacf05076c9f0b Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Sat, Nov 8, 2014 at 8:22 PM, Martin Bays wrote: > * Saturday, 2014-11-08 at 19:45 -0300 - Jorge Llamb=C3=ADas < > jjllambias@gmail.com>: > > > > > ca ro nu mi xagji kei ko'a fasnu > > > > ,i ko'a nu ge ko'e fasnu gi ko'i fasnu > > > > ;i ko'i nu ko'o balvi ko'e > > > > .i ko'e nu mi klama lo zarci > > > > .i ko'o nu mi klama lo zdani > > > > > > OK... now I have to ask what {ko'o balvi ko'e} means! > > > > > > I expect it to be time-independent - if it holds at some time, then i= t > > > holds at all times. But then your expansion doesn't have the intended > > > meaning. > > > > Must "ko'o balvi ko'e" be time-independent? Can't an event happen > sometimes > > before and sometimes after another? That would seem to be a requirement > > only for one-instance events. > > I don't understand. Could you explain in this example at what times > {ko'o balvi ko'e} would hold? > The claim is that it holds each time I'm hungry. 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. --f46d04182620a0bacf05076c9f0b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Sat, Nov 8, 2014 at 8:22 PM, Martin Bays <mbays@sdf.org> = wrote:
* Saturday, 2014-11-08 at 19:45 -0= 300 - Jorge Llamb=C3=ADas <jjlla= mbias@gmail.com>:

> > > ca ro nu mi xagji kei ko'a fasnu
> > > ,i ko'a nu ge ko'e fasnu gi ko'i fasnu
> > > ;i ko'i nu ko'o balvi ko'e
> > > .i ko'e nu mi klama lo zarci
> > > .i ko'o nu mi klama lo zdani
> >
> > OK... now I have to ask what {ko'o balvi ko'e} means!
> >
> > I expect it to be time-independent - if it holds at some time, th= en it
> > holds at all times. But then your expansion doesn't have the = intended
> > meaning.
>
> Must "ko'o balvi ko'e" be time-independent? Can'= t an event happen sometimes
> before and sometimes after another? That would seem to be a requiremen= t
> only for one-instance events.

I don't understand. Could you explain in this example at what ti= mes
{ko'o balvi ko'e} would hold?

T= he claim is that it holds each time I'm hungry.=C2=A0

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.
--f46d04182620a0bacf05076c9f0b--