Received: from mail-oa0-f56.google.com ([209.85.219.56]:49772) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XIJWP-0004n6-GS for lojban-list-archive@lojban.org; Fri, 15 Aug 2014 08:34:30 -0700 Received: by mail-oa0-f56.google.com with SMTP id j17sf575393oag.21 for ; Fri, 15 Aug 2014 08:34:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=9OMBiUyeARMoBIZaQf2oDW5Dz3VcT651UCf1EsDj9BE=; b=mN6umTSwkjFdurvNgJ5FNyOnw8IAApFAEAxQhl48EliaQOIV3G9fHSAM2pfp0LYa80 H7x85WCf9VDRur2o3cqV+HfvSpLXCUwCPkpsdcrGw1pVjmzSadi+M1n744m3odORIT4b wxpfoQsaH4hjuLlgHRZrL7XD0p5MAtJab/Deg6HPbo2so8dgNndSjQ6bgez5me2/6Fii wviPGq9mmGMbOqB/lMLgLQIL6NPMIItWoNYVAtemHzv0v8tK8Jh1RxugIRT+/6fwjm1N sZl27oqlZAmQ4pFFljYA86ZwrZ/I4obR51p47hbDYbZXDFP7PpetyiorBE8rsx1LLcTz b+UA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=9OMBiUyeARMoBIZaQf2oDW5Dz3VcT651UCf1EsDj9BE=; b=JEiTgb8GnxYTAoJRI4mIQ3V5DH32gkLQHGk4FozODd3MhQ7bAN0J1Vh0FvwF/yqFtZ LWnF5inA3mMnjXalKN+XLVus7ft3qzx1KVGqLUYG91Ksu5E1cjVo3UBPxyn27GgB9afZ Fb178DUEmucRsur3MpcApmeSikepA3Qbr8C2ll5vLgPLSYU4jtwPdmfd3Fj6y1KgozvC g6R5DTxa1IpMzbFljjL57v63NS1sqC838WFq6LINWvSvgDc12OPl+WAVZ8IB/+tcxyMH h9Y8DaimCGcQOV0w3CQIVHNBlyzHzQvlSypkrvhii0cGURB/zUVv8BY18uVDRZRzLLKc hXuQ== X-Received: by 10.140.86.106 with SMTP id o97mr11237qgd.25.1408116863074; Fri, 15 Aug 2014 08:34:23 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.39.148 with SMTP id v20ls654005qgv.93.gmail; Fri, 15 Aug 2014 08:34:22 -0700 (PDT) X-Received: by 10.140.102.104 with SMTP id v95mr148923qge.6.1408116862746; Fri, 15 Aug 2014 08:34:22 -0700 (PDT) Date: Fri, 15 Aug 2014 08:34:22 -0700 (PDT) From: TR NS To: lojban@googlegroups.com Message-Id: In-Reply-To: References: <3ebe6c5e-5ace-42bc-b896-8f8c9e642f28@googlegroups.com> <16045e26-5655-4d22-82ca-d5b98293f098@googlegroups.com> Subject: Re: [lojban] Re: Lojban for great-great-grandfather MIME-Version: 1.0 X-Original-Sender: transfire@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="----=_Part_145_1876248779.1408116862308" X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - ------=_Part_145_1876248779.1408116862308 Content-Type: text/plain; charset=UTF-8 On Thursday, August 14, 2014 11:35:15 PM UTC-4, tsani wrote: > > It would be possible to use {moi} for this, you're right, since it admits > a place to give the ordering criterion, which is presumably a unary > predicate used to sort the elements in ascending order. (My choice here is > somewhat arbitrary since nobody has actually decided what we should put for > these ordering criteria.) If the criterion is left out, as it is in {lo > patfu vomoi}, then it is left up to context, and if we're talking about > ancestors, it might make sense to refer to a gggreat grandfather. On the > other hand, if we're talking about parents remarrying or nontraditional > family setups, then it could easily refer to something else. (That's the > principle of "facultative precision"; since we're saying less things, we're > not as precise in the interpretation. Of course, the syntax is always > totally unambiguous.) Anyway, writing out a suitable ranking predicate > might be challenging; I leave it as an exercise for you :) Just know that > {moi} could be used for this, but doing so with precision may require more > verbosity than the other solutions mentioned in this thread. > > .i mi'e la tsani mu'o > > P.S. if you want to come on IRC sometime, we can build that ranking > predicate together if you like. I'm tsani there as well. > Wow. That sounds like a very interesting learning experience! I will definitely do that when I get a chance. Thanks. -- 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/d/optout. ------=_Part_145_1876248779.1408116862308 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Thursday, August 14, 2014 11:35:15 PM UTC-4, ts= ani wrote:

It wo= uld be possible to use {moi} for this, you're right, since it admits a plac= e to give the ordering criterion, which is presumably a unary predicate use= d to sort the elements in ascending order. (My choice here is somewhat arbi= trary since nobody has actually decided what we should put for these orderi= ng criteria.) If the criterion is left out, as it is in {lo patfu vomoi}, t= hen it is left up to context, and if we're talking about ancestors, it migh= t make sense to refer to a gggreat grandfather. On the other hand, if we're= talking about parents remarrying or nontraditional family setups, then it = could easily refer to something else. (That's the principle of "facultative= precision"; since we're saying less things, we're not as precise in the in= terpretation. Of course, the syntax is always totally unambiguous.) Anyway,= writing out a suitable ranking predicate might be challenging; I leave it = as an exercise for you :) Just know that {moi} could be used for this, but = doing so with precision may require more verbosity than the other solutions= mentioned in this thread.

.i mi'e la tsani mu'o

P.S. if you want to come on IRC sometime, we can build that = ranking predicate together if you like. I'm tsani there as well.


Wow. That sounds like a very interesting learning= experience! I will definitely do that when I get a chance. Thanks.

--
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.
------=_Part_145_1876248779.1408116862308--