Received: from mail-qg0-f55.google.com ([209.85.192.55]:52692) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XIiSW-0005yH-4b for lojban-list-archive@lojban.org; Sat, 16 Aug 2014 11:12:09 -0700 Received: by mail-qg0-f55.google.com with SMTP id j107sf847581qga.0 for ; Sat, 16 Aug 2014 11:12:01 -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=HBk0qFr7yzRLbjh3IPx+tx1dinCcXnzUYOSyQkjWccI=; b=XxMOL/P9BEiZaTBHg+1Q9sTIyXTvutNSeNpvByUnjDui2chPSqmj39ueP4ZPHtLAMY MuCE9FEnMPYlIQUWT6c2Qhwum/fqeQUFkc8l0ebyk9CUS3TnFlP6uS1VK9VFSmULMEkp 6VF0YsaY1mc5CYOyKbyc4802cg47iRvC9rW2CEFbJdzg9PbqZd9SrpU5yOJR5/CfkaQN YE+mBfkuXDvwCwK4QN2zknMx9kVR59BZBZkoDejs1HcpM6jwmTomHq5EJNMT2gYeQpNw lv0snYDrPqZQ1XCb5yVx0KC864Mvm143qG15zupoVjTn5wc/HpaBHSCFJhbhwqxTWsEC E0mA== X-Received: by 10.140.88.85 with SMTP id s79mr5352qgd.18.1408212721579; Sat, 16 Aug 2014 11:12:01 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.41.211 with SMTP id z77ls1833516qgz.54.gmail; Sat, 16 Aug 2014 11:12:01 -0700 (PDT) X-Received: by 10.224.14.82 with SMTP id f18mr13107026qaa.2.1408212721320; Sat, 16 Aug 2014 11:12:01 -0700 (PDT) Received: from mail-qg0-x232.google.com (mail-qg0-x232.google.com [2607:f8b0:400d:c04::232]) by gmr-mx.google.com with ESMTPS id r5si1883813qcl.0.2014.08.16.11.12.01 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 16 Aug 2014 11:12:01 -0700 (PDT) Received-SPF: pass (google.com: domain of eyeonus@gmail.com designates 2607:f8b0:400d:c04::232 as permitted sender) client-ip=2607:f8b0:400d:c04::232; Received: by mail-qg0-x232.google.com with SMTP id q108so3205702qgd.23 for ; Sat, 16 Aug 2014 11:12:01 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.140.42.195 with SMTP id c61mr39126180qga.54.1408212721218; Sat, 16 Aug 2014 11:12:01 -0700 (PDT) Received: by 10.96.167.98 with HTTP; Sat, 16 Aug 2014 11:12:01 -0700 (PDT) In-Reply-To: References: Date: Sat, 16 Aug 2014 12:12:01 -0600 Message-ID: Subject: Re: [lojban] A recursively-defined predicate for building chains (was: Lojban for great-great-grandfather) From: Jonathan Jones To: lojban@googlegroups.com X-Original-Sender: eyeonus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of eyeonus@gmail.com designates 2607:f8b0:400d:c04::232 as permitted sender) smtp.mail=eyeonus@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=001a113abef4043c7e0500c3139c X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --001a113abef4043c7e0500c3139c Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Sat, Aug 16, 2014 at 10:30 AM, Jorge Llamb=EDas wrote: > On Sat, Aug 16, 2014 at 12:32 PM, Jacob Errington > wrote: > >> >> We propose a predicate to construct such chains, of arbitrary length, >> defined as follows in Lojban: >> >> .i lo ka broda cu ka ko'a ko'e fo'a fo'e ce'ai lo du'u fo'a li pa dubmau >> kei goi dy zo'u ge ganai me'au dy gi ko'a me'au fo'e lo broda be ko'e be= i >> li mo'e fo'a vu'u pa bei fo'e gi ga me'au dy gi ko'a ko'e me'au fo'e >> > > How about using the lujvo "tenki'i", defined:as: ko'a ckini ko'e lo tenfa > be ko'i bei ko'o > > la djan cu tenki'i la alis lo ka rirni kei li vo > > la djan cu rirtenki'i la alis li vo > > la djan cu vonrirtenki'i la alis > Why tenfa not pilji? --=20 mu'o mi'e .aionys. .i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o (Come to the Dot Side! Luke, I am your father. :D ) --=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. --001a113abef4043c7e0500c3139c Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On S= at, Aug 16, 2014 at 10:30 AM, Jorge Llamb=EDas <jjllambias@gmail.com> wrote:
=
On Sat, Aug 16, 2014 at 12:32 PM= , Jacob Errington <nictytan@gmail.com> wrote:

We propose a predicate = to construct such chains, of arbitrary length, defined as follows in Lojban= :

.i lo ka broda cu ka ko'a ko'e fo'a fo'e ce'ai lo d= u'u fo'a li pa dubmau kei goi dy zo'u ge ganai me'au dy gi = ko'a me'au fo'e lo broda be ko'e bei li mo'e fo'a v= u'u pa bei fo'e gi ga me'au dy gi ko'a ko'e me'au f= o'e

How about using the lujvo &quo= t;tenki'i", defined:as: ko'a ckini ko'e lo tenfa be ko'= ;i bei ko'o

la djan cu tenki'i la alis lo = ka rirni kei li vo
=A0
la djan cu rirtenki'i la alis li vo
=
la djan cu vonrirtenki'i la alis
=

Why tenfa not pilji?

--
mu'o mi'e .aionys.

.i.e'ucai ko cmima= lo pilno be denpa bu .i doi.luk. mi patfu do zo'o
(Come to the Dot = Side! Luke, I am your father. :D )

--
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.
--001a113abef4043c7e0500c3139c--