Received: from mail-la0-f55.google.com ([209.85.215.55]:59616) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XFpBT-0004QQ-G2 for lojban-list-archive@lojban.org; Fri, 08 Aug 2014 11:46:36 -0700 Received: by mail-la0-f55.google.com with SMTP id pv20sf578244lab.10 for ; Fri, 08 Aug 2014 11:46:27 -0700 (PDT) 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=uMDs+qUkCS8zrrqZnRBnzMC+y03gfcEskMXjoY04hSQ=; b=rj4c7Daq3Daf9Y7VX9yQyQ6IDIjaEQ65N1Vnc63V/6/a8jCbKlofvnGNtxU6xnLHTg xvBYkDOiMalrKZOlPC+G+4N+L637Le68ETotr9xVITLh8VDmkn5a2/Ph7g3zpq6pDcFF naAHFPZ0MwNLphyg3+T3l14hjIB0xNWlqSL5s8auF/9EUWZAFh6Z8Yi5fIS8vGjJi7Y7 EZd0A6g+cXx0H1FolM/Js57dT0bSV1CASaOhdnA7H7rXLX69jfvoIZ63t6A/BSzS8xPU TGGm8HYtPLsVjYXLHrb4Iy99TMYpm/INotucM33guhF2irUgivcyLjlgZcz81AQ5k7pY CRgw== X-Received: by 10.180.13.71 with SMTP id f7mr23975wic.1.1407523587793; Fri, 08 Aug 2014 11:46:27 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.180.207.68 with SMTP id lu4ls188956wic.17.gmail; Fri, 08 Aug 2014 11:46:27 -0700 (PDT) X-Received: by 10.194.235.166 with SMTP id un6mr2321025wjc.2.1407523587299; Fri, 08 Aug 2014 11:46:27 -0700 (PDT) Received: from mail-wi0-x22f.google.com (mail-wi0-x22f.google.com [2a00:1450:400c:c05::22f]) by gmr-mx.google.com with ESMTPS id m6si299253wik.2.2014.08.08.11.46.27 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Fri, 08 Aug 2014 11:46:27 -0700 (PDT) Received-SPF: pass (google.com: domain of gleki.is.my.name@gmail.com designates 2a00:1450:400c:c05::22f as permitted sender) client-ip=2a00:1450:400c:c05::22f; Received: by mail-wi0-f175.google.com with SMTP id ho1so1486005wib.2 for ; Fri, 08 Aug 2014 11:46:27 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.180.75.14 with SMTP id y14mr534342wiv.79.1407523587175; Fri, 08 Aug 2014 11:46:27 -0700 (PDT) Received: by 10.194.71.197 with HTTP; Fri, 8 Aug 2014 11:46:27 -0700 (PDT) In-Reply-To: References: <543519c7-ee91-4ef3-90ed-8198ecf22b0d@googlegroups.com> Date: Fri, 8 Aug 2014 22:46:27 +0400 Message-ID: Subject: Re: [lojban] One end cmavo to rule them all From: Gleki Arxokuna To: lojban@googlegroups.com 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::22f 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: 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=f46d043c82006d3e0b0500229fe1 X-Spam-Note: SpamAssassin invocation failed --f46d043c82006d3e0b0500229fe1 Content-Type: text/plain; charset=UTF-8 Heh, I should note that those terminators that Ian suggested as formalisable are almost never used by me. 2014-08-08 21:09 GMT+04:00 Ian Johnson : > On Thu, Aug 7, 2014 at 9:00 AM, TR NS wrote: > >> >> Also, thinking about the use case you describe, it occurs to me that it >> would be much easier to remember a single cmavo that worked in conjunction >> with the opening cmavo, e.g. `ke melbri nixli kexo ckule` instead of `ke >> melbri nixli ke'e ckule` where `xo` is some cmavo that means "close the >> cmavo I just mentioned". >> > "Selma'o cast" type cmavo, which is really what you are suggesting (it > casts LE to KU, NOI to KUhO, etc.) are generally difficult to formalize. > This is a big part of why mekso is such a big mess. (Another is just YACC > parser limitations, some of which have not been corrected in the > semi-official PEG or even the zasni gerna). > > Going into some details, let's call your cmavo {xau} for discussion ({xo} > is taken). {vau} and arguably {boi} do not match your paradigm. {le'u} > looks like it should, but it really doesn't, because if {lo'u xau} > terminates {lo'u} then you can't quote {lo'u xau} to explain what it means. > (By contrast, you can quote {le'u} using {zo} and can quote {zo} using > {lo'u}/{le'u}, which means there is syntax available for defining these in > Lojban.) The interaction with {lu} would be intelligible but > counterintuitive and possibly not formalizable: {lu ... lu xau} appears to > start a second quote and then, doesn't. And finally you would need to > specify how exactly {xau} interacts with {si} (is {ke xau} one word or > two?). Everything else would probably work out. > > mi'e la latro'a mu'o > > -- > 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. > -- 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. --f46d043c82006d3e0b0500229fe1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Heh, I should note that those terminators that Ian suggest= ed as formalisable are almost never used by me.


2014-08-08 21:09 GMT+04:00 Ian John= son <blindbravado@gmail.com>:
=
On Thu, Aug 7, 2014 at 9:00 AM, = TR NS <transfire@gmail.com> wrote:

Also, thinking about the use case you = describe, it occurs to me that it would be much easier to remember a single= cmavo that worked in conjunction with the opening cmavo, e.g. `ke melbri n= ixli kexo ckule` instead of `ke melbri nixli ke'e ckule` where `xo` is = some cmavo that means "close the cmavo I just mentioned".
"Selma'o cast" type cmavo, whi= ch is really what you are suggesting (it casts LE to KU, NOI to KUhO, etc.)= are generally difficult to formalize. This is a big part of why mekso is s= uch a big mess. (Another is just YACC parser limitations, some of which hav= e not been corrected in the semi-official PEG or even the zasni gerna).

Going into some details, let's call your cmavo {xau} for discussion= ({xo} is taken). {vau} and arguably {boi} do not match your paradigm. {le&= #39;u} looks like it should, but it really doesn't, because if {lo'= u xau} terminates {lo'u} then you can't quote {lo'u xau} to exp= lain what it means. (By contrast, you can quote {le'u} using {zo} and c= an quote {zo} using {lo'u}/{le'u}, which means there is syntax avai= lable for defining these in Lojban.) The interaction with {lu} would be int= elligible but counterintuitive and possibly not formalizable: {lu ... lu xa= u} appears to start a second quote and then, doesn't. And finally you w= ould need to specify how exactly {xau} interacts with {si} (is {ke xau} one= word or two?). Everything else would probably work out.

mi= 9;e la latro'a mu'o

--
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/d/optout.

--
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.
--f46d043c82006d3e0b0500229fe1--