Received: from mail-pd0-f187.google.com ([209.85.192.187]:53193) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1X0PBH-0005gZ-Up for lojban-list-archive@lojban.org; Thu, 26 Jun 2014 22:58:41 -0700 Received: by mail-pd0-f187.google.com with SMTP id r10sf857975pdi.14 for ; Thu, 26 Jun 2014 22:58:34 -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 :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=Gvf7QFlbMKo7BO5I4hJw1zRrY63mL5Z16LcwnhSMxnw=; b=EhLF7OWZ9AYT39tMF7GeS2rp7gG9nRNapURm/z+Aa03GoJi9hcYsfZ2dpO6DQ/sve2 CVJr7aq1f4x+UetpB9HAFMjHw5u38K7TQCT+Ujo439UwD6mUXfC4bgaawAfsYybGyIRh CYYFcFYdQanRNp6QAfRU6vBdEbF9xoQVc5M0SRfixjsPKZXsXkWpIhp89arL5UKTqRaE 3ag1wfZrlRIitdzqLhueMsdcYNq2aMOkR1Te1DiM8oVuK6p7LZbO06VQLTIr4fupna1p 1EnqzoV4iyWL90rQk8P8jguPPN0WRO4eVciZb4YLDJ1nXdXDcYihuh/H2LQhxpfFHRfC 6LOA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject: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=Gvf7QFlbMKo7BO5I4hJw1zRrY63mL5Z16LcwnhSMxnw=; b=jkuhfJwwFgNJJciEWTMMUgpUvgUf3vDQ4ukkMksPd2un1ERTW32aP48TrN8RyA7bof 0dZ0DA2z1U7AB1Pj+1q+GAYCzTICFqV3J9t40oK1tb/IlzI82Lp71lSSglYQEM43eNA7 LNFRbWn+/FTWdxdqG5hRQ/pTZKDHYYrnkV19fcZnkc9rR7HIeUEklJsU8CcA/IaejjCp LA4sGlfN2kBgl5ag3xdTWVGmeEICQ6xSHQrcZevAbradNlZ8REgmMezY7gtW+O1I/+Mw vygmsWhW9g39kO6/gt92SYoDl5t5pnGWJaHD+Kzo5HGAUvKyq8Gco9hGe8Hcp/FTRhHU JcQQ== X-Received: by 10.140.108.162 with SMTP id j31mr3121qgf.18.1403848713921; Thu, 26 Jun 2014 22:58:33 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.36.71 with SMTP id o65ls83525qgo.4.gmail; Thu, 26 Jun 2014 22:58:33 -0700 (PDT) X-Received: by 10.58.143.107 with SMTP id sd11mr11219205veb.42.1403848713532; Thu, 26 Jun 2014 22:58:33 -0700 (PDT) Received: from mail-qc0-f172.google.com (mail-qc0-f172.google.com [209.85.216.172]) by gmr-mx.google.com with ESMTPS id he4si1082247qcb.0.2014.06.26.22.58.33 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 26 Jun 2014 22:58:33 -0700 (PDT) Received-SPF: none (google.com: ross@rossogilvie.id.au does not designate permitted sender hosts) client-ip=209.85.216.172; Received: by mail-qc0-f172.google.com with SMTP id o8so4091651qcw.17 for ; Thu, 26 Jun 2014 22:58:33 -0700 (PDT) X-Gm-Message-State: ALoCoQn758l9dUtJV9LTi4pB7eXVKnpPn80Lb45wkGcCdpQiL3VUJgKwrBjA2PmNqQF2gG0spd4H X-Received: by 10.224.123.71 with SMTP id o7mr28532156qar.38.1403848713111; Thu, 26 Jun 2014 22:58:33 -0700 (PDT) MIME-Version: 1.0 Received: by 10.96.149.6 with HTTP; Thu, 26 Jun 2014 22:58:01 -0700 (PDT) X-Originating-IP: [129.78.95.84] In-Reply-To: <970e8b98-8d56-4975-bf6e-9dd64e03c49a@googlegroups.com> References: <970e8b98-8d56-4975-bf6e-9dd64e03c49a@googlegroups.com> From: Ross Ogilvie Date: Fri, 27 Jun 2014 15:58:01 +1000 Message-ID: Subject: Re: [lojban] {ti'o} To: lojban X-Original-Sender: ross@rossogilvie.id.au X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: ross@rossogilvie.id.au does not designate permitted sender hosts) smtp.mail=ross@rossogilvie.id.au 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=047d7bf0da26dd21d204fccaffd0 X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --047d7bf0da26dd21d204fccaffd0 Content-Type: text/plain; charset=UTF-8 In broadest terms, by some means you give an ordering of infix operators, and then that ordering is used to determine the grouping of operators (as you well know?). I'm not sure why you need a special sei to give such information; perhaps the thought was that a computer would be able to spot the tag and then parse and apply such rules. The order of operators is not set in the grammar, so this is purely a matter of interpretation. Concretely I would give these examples. li pa su'i re pi'i ci du li so 1+2 * 3 = (1+2) * 3 = 9 ti'o zo pi'i ce'o zo su'i bi'e zei porsi li pa su'i re pi'i ci du li ze 1+2 * 3 = 1+ (2 * 3) = 7 If you restricted the contents of the ti'o clause to be of the form zo X ce'o zo Y ce'o zo Z ....... bi'e zei porsi or zo X ce'o zo Y ce'o zo Z ....... bi'e zei fatporsi then one may be able to have a program parse this quite easily. -- Ross On 26 June 2014 23:10, la gleki wrote: > Even though I understand that {ti'o} wasn't explained in the CLL and there > were proposals to remove how was it supposed to work? > > -- > 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. --047d7bf0da26dd21d204fccaffd0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
In broadest terms, by some means you give an ord= ering of infix operators, and then that ordering is used to determine the g= rouping of operators (as you well know?). I'm not sure why you need a s= pecial sei to give such information; perhaps the thought was that a compute= r would be able to spot the tag and then parse and apply such rules. The or= der of operators is not set in the grammar, so this is purely a matter of i= nterpretation. Concretely I would give these examples.

li pa su'i re pi'i ci du li so
1+2 * 3 =3D (1+2) * 3 = =3D 9

ti'o zo pi'i ce'o zo su'i bi'e zei porsi l= i pa su'i re pi'i ci du li ze
1+2 * 3 =3D 1+ (2 * 3) =3D 7
If you restricted the contents of the ti'o clause to be of the for= m
zo X ce'o zo Y ce'o zo Z ....... bi'e zei porsi=
or
zo X ce'o zo Y ce'o zo Z ....... b= i'e zei fatporsi
then one may be able to have a program parse this quite easily.<= br>
-- Ross


On 26 June 2014 23:10, la gleki <gleki.is.my.nam= e@gmail.com> wrote:
Even though I understand th= at {ti'o} wasn't explained in the CLL and there were proposals to r= emove how was it supposed to work?

--
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.
--047d7bf0da26dd21d204fccaffd0--