Received: from mail-pb0-f55.google.com ([209.85.160.55]:41077) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1TmKNP-0003NQ-BL; Sat, 22 Dec 2012 00:24:22 -0800 Received: by mail-pb0-f55.google.com with SMTP id rp2sf2707279pbb.10 for ; Sat, 22 Dec 2012 00:24:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-received:x-beenthere:x-received:date:from:to:message-id :in-reply-to:references:subject:mime-version:x-original-sender :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=rTqykJ/ny1jmtvT88p90Zsl1n/dfzURjnn3zjt40PcU=; b=dadRKe3Bn7UkYyMFTeg68t6sr4np/3PeJP4FoidvKGwMX4768jugIW8/wI5H51yPDc EquHF9OURBJePIv/fK/yVHEENqd9DU0A8XY3Sc+QU/t0R5aO/vT8Tynse4HSieuvcd96 gfVAKKNRpbp2cRzDzsBBEJH81tMqqqpFyI4L/3hIaVeoLNHoqMWv26XJvfLAxarYsIGr ieNHfcowh18caclhcg76k5OQfK8Bg5vdqgigeKFQJOxdRyAyRi0yxQm120aj6UqAz+/O gAffrBbNtsR1zPr0JsUAVAdo/bTCsXovFMI+kf5U53sO17s1fOlKGN6JblTbFrwXutXs 0mKA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:x-beenthere:x-received:date:from:to:message-id :in-reply-to:references:subject:mime-version:x-original-sender :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=rTqykJ/ny1jmtvT88p90Zsl1n/dfzURjnn3zjt40PcU=; b=S28NA9hADo8gruRA/W77OrBpOOhXM7iAimU49gsa5POx90/tlR916PcHecxJ1zJNl7 xrRnugAhksv15knCIB8UM4U6fGmVp10N5pldu6uxqqA66CUVx2UAt4Ey+wAIP4PI/q/x l7eS8VfMC6ic1u0NfqgwAxaa3yqyn0NVBhiEKT3dGmPsBbbkKfFC9TR0XBHmZf98A5jh Eru5np7kA46bmQzWvM2aJfoWuW6lbmDMXs6SUbzwhmW07CvXK2QPgnIEw1Rk7jVFwFKh aWES2D2CPX02GDFoTPC1V0h9ItwvW4AzluyOeLGjHFel+b7oIt66ns/sAZdCQUBlN2SP tWqA== X-Received: by 10.49.75.195 with SMTP id e3mr2407402qew.24.1356164644794; Sat, 22 Dec 2012 00:24:04 -0800 (PST) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.49.0.165 with SMTP id 5ls2211063qef.46.gmail; Sat, 22 Dec 2012 00:24:04 -0800 (PST) X-Received: by 10.49.94.129 with SMTP id dc1mr2387885qeb.22.1356164644080; Sat, 22 Dec 2012 00:24:04 -0800 (PST) Date: Sat, 22 Dec 2012 00:24:03 -0800 (PST) From: la gleki To: bpfk-list@googlegroups.com Message-Id: In-Reply-To: References: <95cdbee4-7ddc-4f7d-bb48-4591b7c3d915@googlegroups.com> <50C10003.1080806@lojban.org> <5406c1d2-ee78-4b41-ab68-06b7cf99dce7@googlegroups.com> <20121208182108.GI30125@mercury.ccil.org> <20121208194909.GK30125@mercury.ccil.org> <-2630662732168703446@unknownmsgid> <20121209025300.GF10989@mercury.ccil.org> <5f510bca-668c-405a-9fbd-78fbcf8da281@googlegroups.com> Subject: Re: [bpfk] polysemy of {nai} MIME-Version: 1.0 X-Original-Sender: gleki.is.my.name@gmail.com Reply-To: bpfk-list@googlegroups.com Precedence: list Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com List-ID: X-Google-Group-Id: 972099695765 List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="----=_Part_131_11159768.1356164643796" X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / Content-Length: 3653 ------=_Part_131_11159768.1356164643796 Content-Type: text/plain; charset=ISO-8859-1 On Sunday, December 9, 2012 6:26:39 PM UTC+4, xorxes wrote: > > On Sun, Dec 9, 2012 at 10:35 AM, la gleki > > wrote: > > Now I clearly understand your definition of {na} here. > > > > And I guess J.Cowan disagrees with it. > > It's a rather inconsequential disagreement. I think we both agree that > whenever the property or relation is applicable, "na" and "na'e" have > the same meaning (other than scope). The question of whether "na" > returns true or undefined when the predicate is not even applicable is > not all that interesting, since either way it's just confusing. > Now it makes perfect sense. The only that bothers me is that {.uinai} means {sei to'e gleki} whereas {gleki nai} means {na'e gleki} which is counterintuitive. Also not only {nai} but UI4 should be moved to CAI so that we get two selma'o that work similar in syntax but that differ in semantics. > > mu'o mi'e xorxes > -- You received this message because you are subscribed to the Google Groups "BPFK" group. To view this discussion on the web visit https://groups.google.com/d/msg/bpfk-list/-/s1n0pIMxD1wJ. To post to this group, send email to bpfk-list@googlegroups.com. To unsubscribe from this group, send email to bpfk-list+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en. ------=_Part_131_11159768.1356164643796 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

On Sunday, December 9, 2012 6:26:39 PM UTC+4, xorxes wrote:On Sun, Dec 9, 2012 at 10:35 AM, la gl= eki <gleki.is...@gmail.com> wrote:
> Now I clearly understand your definition of {na} here.
>
> And I guess J.Cowan disagrees with it.

It's a rather inconsequential disagreement. I think we both agree that
whenever the property or relation is applicable, "na" and "na'e" have
the same meaning (other than scope). The question of whether "na"
returns true or undefined when the predicate is not even applicable is
not all that interesting, since either way it's just confusing.

Now it makes perfect sense.
= The only that bothers me is that
{.uinai} means {sei to'e gleki}
whe= reas
{gleki nai} means {na'e gleki}
which is counterintuitive.=

Also not only {nai} but UI4 should be moved to CA= I so that we get two selma'o that work similar in syntax but that differ in= semantics.

 

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups "= BPFK" group.
To view this discussion on the web visit https://groups.google.com/d/msg/bpfk-lis= t/-/s1n0pIMxD1wJ.
=20 To post to this group, send email to bpfk-list@googlegroups.com.
To unsubscribe from this group, send email to bpfk-list+unsubscribe@googleg= roups.com.
For more options, visit this group at http://groups.google.com/group/bpfk-l= ist?hl=3Den.
------=_Part_131_11159768.1356164643796--