Received: from mail-la0-f62.google.com ([209.85.215.62]:34535) by stodi.digitalkingdom.org with esmtps (TLSv1.2:AES128-GCM-SHA256:128) (Exim 4.80.1) (envelope-from ) id 1YfMie-0000ib-LW; Mon, 06 Apr 2015 23:10:45 -0700 Received: by lamq1 with SMTP id q1sf14943320lam.1; Mon, 06 Apr 2015 23:10:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type: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; bh=xPaRcEKN4uboQNSVmkM9ul9X2XOeg9JWr7ugS7NtGXg=; b=OjkqOUmJlFHhiL0/tk+QzpjjrP5lTBJtHQTWmD8kOlFtv+Wz7+cXlnLDEN352AyzU0 J9/MnngBpTIYTLO7NWzDHh2OLdknH6DHYrQswBtHhcYBv05Q736UnTY+q2HThBuNM7ui xe+n27wlgXCvVcEC25POT3jnXgBMo1YjYUvMKOAUT+ItKjhVjiApKjQZEUb1rwmSSGie 7E37Fwxj6g9GLGwBbwYmjHgMsVzMQJeH/iTPVLTF7l8QPjo5zeiRYNKiFO0HKXu+VY0c VIIxKEBjBrsb7ve+PnRHZyRHcOTLXhtOoQKLOqyCzP2GjEUPZCHAfp3yh5puFzYNR9Ar W79g== X-Received: by 10.180.75.197 with SMTP id e5mr4148wiw.7.1428387033699; Mon, 06 Apr 2015 23:10:33 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.180.104.226 with SMTP id gh2ls54250wib.31.gmail; Mon, 06 Apr 2015 23:10:33 -0700 (PDT) X-Received: by 10.180.83.41 with SMTP id n9mr138284wiy.4.1428387033272; Mon, 06 Apr 2015 23:10:33 -0700 (PDT) Received: from mail-wi0-x22b.google.com (mail-wi0-x22b.google.com. [2a00:1450:400c:c05::22b]) by gmr-mx.google.com with ESMTPS id bz6si362579wib.3.2015.04.06.23.10.33 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 06 Apr 2015 23:10:33 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::22b as permitted sender) client-ip=2a00:1450:400c:c05::22b; Received: by mail-wi0-x22b.google.com with SMTP id n10so5304122wiu.1 for ; Mon, 06 Apr 2015 23:10:33 -0700 (PDT) X-Received: by 10.194.159.105 with SMTP id xb9mr36757745wjb.156.1428387033130; Mon, 06 Apr 2015 23:10:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.194.240.197 with HTTP; Mon, 6 Apr 2015 23:10:12 -0700 (PDT) In-Reply-To: References: From: Gleki Arxokuna Date: Tue, 7 Apr 2015 09:10:12 +0300 Message-ID: Subject: Re: [bpfk] Does Lojban PEG need a "naughty OR" operator? To: bpfk-list@googlegroups.com Content-Type: multipart/alternative; boundary=001a11c3aa58b62c6b05131c4576 X-Original-Sender: gleki.is.my.name@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::22b as permitted sender) smtp.mail=gleki.is.my.name@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=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: , List-Unsubscribe: , X-Spam-Score: -1.7 (-) X-Spam_score: -1.7 X-Spam_score_int: -16 X-Spam_bar: - Content-Length: 5623 --001a11c3aa58b62c6b05131c4576 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 2015-04-07 0:42 GMT+03:00 Jorge Llamb=C3=ADas : > > On Mon, Apr 6, 2015 at 3:39 AM, Gleki Arxokuna > wrote: > >> >> E.g. I proposed adding " / COhE_elidible" where COhE_elidible returns a = " >> { ... } " expression. >> > > Currently your rule is called GOhA_elidible, but I think that's the wrong > name for what it does, it should be "selbri_elided", since it replaces > "selbri", not "GOhA", and the rule succeeds only when the selbri is in fa= ct > elidED. The _elidIBLE rules succeed both when the construct is elided and > when not elided. > Because for me eliding selbri is like using {co'e} instead of it. But of course arguing about terminology is no good. Any name would do. > > A GOhA_elidible rule would have to replace GOhA_clause (although that > would allow many more perhaps not desirable things to be grammatical). > > mu'o mi'e xorxes > > -- > You received this message because you are subscribed to the Google Groups > "BPFK" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to bpfk-list+unsubscribe@googlegroups.com. > To post to this group, send email to bpfk-list@googlegroups.com. > Visit this group at http://groups.google.com/group/bpfk-list. > For more options, visit https://groups.google.com/d/optout. > --=20 You received this message because you are subscribed to the Google Groups "= BPFK" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to bpfk-list+unsubscribe@googlegroups.com. To post to this group, send email to bpfk-list@googlegroups.com. Visit this group at http://groups.google.com/group/bpfk-list. For more options, visit https://groups.google.com/d/optout. --001a11c3aa58b62c6b05131c4576 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


2015-04-07 0:42 GMT+03:00 Jorge Llamb=C3=ADas <jjllambias@gmail.com= >:

On Mon, Apr 6, 2015 at 3:39 AM, Gleki Arxokuna <gleki.is.my.name@gmail.com> wrote:

E.g. I proposed addin= g " / COhE_elidible" where=C2=A0COhE_elidible returns a " { = ... } " expression.

Currently your rule is called GOhA_elidible, but I think that's the wr= ong name for what it does, it should be "selbri_elided", since it= replaces "selbri", not "GOhA", and the rule succeeds o= nly when the selbri is in fact elidED. The _elidIBLE rules succeed both whe= n the construct is elided and when not elided.=C2=A0

Because for me eliding selbri is like usi= ng {co'e} instead of it. But of course arguing about terminology is no = good. Any name would do.=C2=A0

A GOhA_elidible rule would have to replace GOhA_clause (although th= at would allow many more perhaps not desirable things to be grammatical).

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups &= quot;BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups &= quot;BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to bpfk-list= +unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at ht= tp://groups.google.com/group/bpfk-list.
For more options, visit http= s://groups.google.com/d/optout.
--001a11c3aa58b62c6b05131c4576--