Received: from mail-la0-f62.google.com ([209.85.215.62]:32855) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1W0YvI-00061k-Ij for lojban-list-archive@lojban.org; Tue, 07 Jan 2014 07:50:49 -0800 Received: by mail-la0-f62.google.com with SMTP id ec20sf30237lab.27 for ; Tue, 07 Jan 2014 07:50:24 -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=v89CqO1cVtbcnScUxAUkPAVJujlzdWCMwkNVt65GpKc=; b=cb51ZtdHTwRniozk5FBfjsvoloVBInBENsyupNlaHnGlmAP4k3RlW59UFRrV2iGwcx YhiFJjyZ9llUfvvJE86nWDGnFz4K8+ZqVfXzcdfNXjoRZUJy3y5rPKB1tpQbItQ4yUSz 4GNi7CM0Ozx8RPfeOfqktoa8My1pFn939Is8dJfs4v/FhMuXN4xD4ArIhloGwS8z2OeS wojrNQ+cfw+GB9Bd4F+2qQewM7xQnRXgtnMV900/3Lh9aPNF2p/+t6aiP0FnmDHNbmrd vneNw6mqlDUKzM8iiAt0Cn8kg8jaiID9LLVBzVVpdA3NxJrBAqhDuGqNHzogD1jbQ7Ux dMGg== X-Received: by 10.152.164.129 with SMTP id yq1mr101172lab.7.1389109824924; Tue, 07 Jan 2014 07:50:24 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.152.6.225 with SMTP id e1ls40817laa.62.gmail; Tue, 07 Jan 2014 07:50:24 -0800 (PST) X-Received: by 10.112.62.138 with SMTP id y10mr19419881lbr.18.1389109824478; Tue, 07 Jan 2014 07:50:24 -0800 (PST) Received: from mail-la0-x22d.google.com (mail-la0-x22d.google.com [2a00:1450:4010:c03::22d]) by gmr-mx.google.com with ESMTPS id rk7si8913831bkb.2.2014.01.07.07.50.24 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 07 Jan 2014 07:50:24 -0800 (PST) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c03::22d as permitted sender) client-ip=2a00:1450:4010:c03::22d; Received: by mail-la0-x22d.google.com with SMTP id eh20so241173lab.18 for ; Tue, 07 Jan 2014 07:50:24 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.152.19.65 with SMTP id c1mr3459734lae.49.1389109824210; Tue, 07 Jan 2014 07:50:24 -0800 (PST) Received: by 10.114.11.4 with HTTP; Tue, 7 Jan 2014 07:50:24 -0800 (PST) In-Reply-To: References: <52CB3AC2.3070507@gmx.de> <0413ea89-18e2-42df-8725-f150e2eb34e9@googlegroups.com> Date: Tue, 7 Jan 2014 13:50:24 -0200 Message-ID: Subject: Re: [lojban] [oz] Use of elidable {cu} From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 2a00:1450:4010:c03::22d as permitted sender) smtp.mail=jjllambias@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=089e01494308a04a1704ef635548 X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / --089e01494308a04a1704ef635548 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable 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.p= eg.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, 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. 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), mu'o mi'e xorxes --=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. --089e01494308a04a1704ef635548 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable



On Tue, Jan 7, 2014 at 12:27 PM, Felipe Gon=E7alves Assis <f= elipeg.assis@gmail.com> wrote:
In
http://users.digitalkingdom.org/~rlpowell/hobbies/lojban/gra= mmar/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 one way= of dealing with it, although for my taste it has the disadvantage of makin= g a terminator non-elidable, which is exceptional. Also, because of the sil= ly 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.

The way I would rather do it is:

term-1 <- sumti / ( !gek (tag !selbri-1 / FA-clause free*) (sumti / K= U-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),

mu'o mi'e xorxes

--
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.
--089e01494308a04a1704ef635548--