Received: from mail-qe0-f63.google.com ([209.85.128.63]:62064) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1W0ZSO-0006EB-2I for lojban-list-archive@lojban.org; Tue, 07 Jan 2014 08:25:00 -0800 Received: by mail-qe0-f63.google.com with SMTP id jy17sf136357qeb.28 for ; Tue, 07 Jan 2014 08:24:37 -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=/gDv7ErNzMV3qWmfRT+aa8iQqK/ZWKP1/CCtEChKBRw=; b=sHgY47TZ/C8i52/TR4GwZiyVoghYKatjsn6mSlg2zE9YjmQKQnz1/Y/u5sKF6AedHc qpxLnGFUjh9QgCsOgUiltDc9RjcyrU3Fk676bL6T62hQY7UXI3nszuPGsORWFfhS8xE0 XCpELTJBUZbC/Z1r/G04n4CyeNMYTY78GXZMidF1T+W5+hD0iKLq1UXFjfwO7QmQ3mqi B3mG6+tYBYjBFIDhekAQzBtlsf4dDzwRfwqxRalYpHaa56KowIZhu5aqauFSeaYTgaEv tccyCGJmOjgJwsmuPCXwV0gz4kegFTvZvud0WEB/miqzWbzi3qxZO8pHG+rIgQaWwUVr WjVw== X-Received: by 10.50.79.130 with SMTP id j2mr431382igx.2.1389111877826; Tue, 07 Jan 2014 08:24:37 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.51.16.66 with SMTP id fu2ls2042144igd.6.canary; Tue, 07 Jan 2014 08:24:37 -0800 (PST) X-Received: by 10.66.102.36 with SMTP id fl4mr2340349pab.20.1389111877133; Tue, 07 Jan 2014 08:24:37 -0800 (PST) Received: from mail-ie0-x22d.google.com (mail-ie0-x22d.google.com [2607:f8b0:4001:c03::22d]) by gmr-mx.google.com with ESMTPS id o30si5293851yhn.1.2014.01.07.08.24.36 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 07 Jan 2014 08:24:37 -0800 (PST) Received-SPF: pass (google.com: domain of felipeg.assis@gmail.com designates 2607:f8b0:4001:c03::22d as permitted sender) client-ip=2607:f8b0:4001:c03::22d; Received: by mail-ie0-f173.google.com with SMTP id to1so615262ieb.18 for ; Tue, 07 Jan 2014 08:24:36 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.50.43.134 with SMTP id w6mr26954077igl.20.1389111876661; Tue, 07 Jan 2014 08:24:36 -0800 (PST) Received: by 10.64.223.166 with HTTP; Tue, 7 Jan 2014 08:24:36 -0800 (PST) In-Reply-To: References: <52CB3AC2.3070507@gmx.de> <0413ea89-18e2-42df-8725-f150e2eb34e9@googlegroups.com> Date: Tue, 7 Jan 2014 14:24:36 -0200 Message-ID: Subject: Re: [lojban] [oz] Use of elidable {cu} From: =?ISO-8859-1?Q?Felipe_Gon=E7alves_Assis?= To: lojban@googlegroups.com X-Original-Sender: felipeg.assis@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of felipeg.assis@gmail.com designates 2607:f8b0:4001:c03::22d as permitted sender) smtp.mail=felipeg.assis@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: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=089e01184b0cf6384704ef63cf8d X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / --089e01184b0cf6384704ef63cf8d Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On 7 January 2014 12:50, Jorge Llamb=EDas wrote: > > > > On Tue, Jan 7, 2014 at 12:27 PM, Felipe Gon=E7alves Assis < > felipeg.assis@gmail.com> wrote: > >> In >> >> http://users.digitalkingdom.org/~rlpowell/hobbies/lojban/grammar/lojban.= peg.txt >> (where can I find the file used by camxes?) >> There is this rule >> >> term-1 <- sumti / ( !gek (tag / FA-clause free*) (sumti / KU-clause? >> free*) ) / termset / NA-clause KU-clause free* >> >> >> I don't have a firm grasp of formal grammars, so correct me if I am wron= g. >> >> 1. This rule is relevant. >> 2. If we make the KU-clause mandatory, instead of optional, my mental >> grammar is realized. >> >> term-1 <- sumti / ( !gek (tag / FA-clause free*) (sumti / KU-clause >> free*) ) / termset / NA-clause KU-clause free* >> > > That's one way of dealing with it, although for my taste it has the > disadvantage of making a terminator non-elidable, which is exceptional. > Also, because of the silly restrictions on compound tags, you would have = to > be very aware of which tags can be combined without ku and which strings = of > tags would require ku insertions to make them work. > > I don't see {ku} here as a terminator. To me, {pu ku} is a single entity, used whenever we want to move {pu} away from the selbri. With regards to compound tags, don't you have to understand the rules anyway to get the correct meaning? Can you give an example? > The way I would rather do it is: > > term-1 <- sumti / ( !gek (tag !selbri-1 / FA-clause free*) (sumti / > KU-clause? free*) ) / termset / NA-clause KU-clause free* > > which means that the tag will not be absorbed as a term if it's directly > followed by a selbri-1 (in which case it will be absorbed by the selbri > rule), > > That is a mid-ground more appropriate for an eventual proposal. I would support it. In production, though, I still prefer to always use {ku}, because I find {gau se ka'a ko'a} and {bai gau se ka'a ko'a} confusing for the same reason: I keep expecting the selbri they refer to. mu'o mi'e .asiz. --=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/groups/opt_out. --089e01184b0cf6384704ef63cf8d Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable



On 7 January 2014 12:50, Jorge Llamb=EDas <jjllambias@gmail.com= > wrote:



On Tue, Jan 7, 2014 at 12:27 PM, Felipe Gon=E7alves Assis <felipeg.= assis@gmail.com> wrote:
In
http://users.digitalkingdom= .org/~rlpowell/hobbies/lojban/grammar/lojban.peg.txt
(where can I find the file used by camxes?)
There is this rule

term-1 <- sumti / ( !gek (tag / FA-clause free= *) (sumti / KU-clause? free*) ) / termset / NA-clause KU-clause free*

I don't have a firm grasp of formal grammars, so correct me if I = am wrong.

1. This rule is relevant.
2. If we make the KU-clause mandatory, ins= tead of optional, my mental grammar is realized.

term-1 <- sumti = / ( !gek (tag / FA-clause free*) (sumti / KU-clause free*) ) / termset / NA= -clause KU-clause free*

That's o= ne way of dealing with it, although for my taste it has the disadvantage of= making a terminator non-elidable, which is exceptional. Also, because of t= he silly restrictions on compound tags, you would have to be very aware of = which tags can be combined without ku and which strings of tags would requi= re ku insertions to make them work.


I don'= ;t see {ku} here as a terminator. To me, {pu ku} is a single entity, used w= henever we want to move {pu} away from the selbri.

With regards to c= ompound tags, don't you have to understand the rules anyway to get the = correct meaning? Can you give an example?

=A0
<= div dir=3D"ltr">
=
The way I would rather do it is:

term-1 <- sumt= i / ( !gek (tag !selbri-1 / FA-clause free*) (sumti / KU-clause? free*) ) /= termset / NA-clause KU-clause free*

which means that the tag will not be a= bsorbed as a term if it's directly followed by a selbri-1 (in which cas= e it will be absorbed by the selbri rule),


That is a mid-ground= more appropriate for an eventual proposal. I would support it.

In p= roduction, though, I still prefer to always use {ku}, because I find {gau = se ka'a ko'a} and {bai gau se ka'a ko'a} confusing for the = same reason: I keep expecting the selbri they refer to.
=A0
mu'o
mi'e .asiz.

--
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+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/groups/opt_out.
--089e01184b0cf6384704ef63cf8d--