Sender: lojban@googlegroups.com
Date: Sun, 22 May 2016 08:04:55 -0700 (PDT)
From: guskant <gusni.kantu@gmail.com>
To: lojban <lojban@googlegroups.com>
Cc: phma@bezitopo.org
Message-Id: <df27a1f8-7f0e-4be4-8b87-5c255b5634ee@googlegroups.com>
In-Reply-To: <1762131.xfL4pIEcRo@caracal>
References: <20160428233042.00eec890@W5.localdomain> <20160503180728.1a4f504e@W5.localdomain> <cbe2f364-5f9a-48f5-bc87-6150895d68b3@googlegroups.com>
 <1762131.xfL4pIEcRo@caracal>
Subject: =?UTF-8?B?SG93IHRvIHVzZSB7dGknb30gKHdhcyBSZTogW2xvamJhbl0gSG93IHRvIHNwZWNpZnkgZA==?=
	=?UTF-8?B?YXRlcyB3aXRoIOKAnGRldHJp4oCdPyk=?=
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_4583_1284899670.1463929495308"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -1.8
X-Spam_score_int: -17
X-Spam_bar: -

------=_Part_4583_1284899670.1463929495308
Content-Type: multipart/alternative; 
	boundary="----=_Part_4584_933669812.1463929495308"

------=_Part_4584_933669812.1463929495308
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable


Le vendredi 20 mai 2016 23:28:33 UTC, Pierre Abbat a =C3=A9crit :
>
> On Tuesday, May 03, 2016 23:12:16 guskant wrote:=20
> > Those different answers gave you some different examples of convention,=
=20
> > which are not suggestion for official definition.=20
> > The official definition of {detri} does not restrict the form of x1 to=
=20
> one=20
> > convention: x1 of {detri} is any sumti that can be a symbol for a time=
=20
> > point; the applicable symbol is defined with x4.=20
> > The form of x1 depends on context, and you can specify the form with x4=
=20
> or=20
> > any additional items like {fi'o}, {noi}, {ti'o}* and so on if necessary=
.=20
> >=20
> > (*Use of {ti'o} for that purpose is not officially suggested but I thin=
k=20
> it=20
> > is enough applicable for specifying mapping of numbers to time points.)=
=20
>
> What do you put between {ti'o} and {se'u} for dates? For that matter, wha=
t=20
> do=20
> you put for operator precedence?=20
>

=20

For example the following form seems to me reasonable:

ti'o nanca ce'o masti ce'o djedi (se'u) li 2016 pi'e 5 pi'e 22 detri lo nu=
=20
mi ciska kei lo gugdejupu la gregoris

For operator precedence, I suggest using {ce'o} and {ve kanji}:

ti'o zo pi'i ce'o zo su'i ve kanji (se'u) li pa su'i re pi'i ci du li ze

though it is different from the example currently given in the=20
corresponding BPFK section:
https://mw.lojban.org/papri/BPFK_Section:_MEX
ti'o zo pi'i ce'o zo su'i porsi li pa su'i re pi'i ci du li ze
("x" and "+" is an ordered sequence) 1 + 2 x 3 =3D 7 (created for this, mi'=
e=20
RossOgilvie, 16/6/10)


Maybe I should consult BPFK about my suggestion, but I don't think BPFK=20
should give restriction on the usage of {ti'o}. I rather prefer that BPFK=
=20
only suggests some possible examples of usage, and that users can freely=20
invent any usage for their own purpose.

mi'e la guskant

--=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 https://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

------=_Part_4584_933669812.1463929495308
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><br>Le vendredi 20 mai 2016 23:28:33 UTC, Pierre Abbat=
 a =C3=A9crit=C2=A0:<blockquote class=3D"gmail_quote" style=3D"margin: 0;ma=
rgin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">On Tuesday=
, May 03, 2016 23:12:16 guskant wrote:
<br>&gt; Those different answers gave you some different examples of conven=
tion,
<br>&gt; which are not suggestion for official definition.
<br>&gt; The official definition of {detri} does not restrict the form of x=
1 to one
<br>&gt; convention: x1 of {detri} is any sumti that can be a symbol for a =
time
<br>&gt; point; the applicable symbol is defined with x4.
<br>&gt; The form of x1 depends on context, and you can specify the form wi=
th x4 or
<br>&gt; any additional items like {fi&#39;o}, {noi}, {ti&#39;o}* and so on=
 if necessary.
<br>&gt;=20
<br>&gt; (*Use of {ti&#39;o} for that purpose is not officially suggested b=
ut I think it
<br>&gt; is enough applicable for specifying mapping of numbers to time poi=
nts.)
<br>
<br>What do you put between {ti&#39;o} and {se&#39;u} for dates? For that m=
atter, what do=20
<br>you put for operator precedence?
<br>
</blockquote><div><br></div><div>=C2=A0</div><div><div><br></div><div>For e=
xample the following form seems to me reasonable:</div><div><br></div><div>=
ti&#39;o nanca ce&#39;o masti ce&#39;o djedi (se&#39;u) li 2016 pi&#39;e 5 =
pi&#39;e 22 detri lo nu mi ciska kei lo gugdejupu la gregoris</div><div><br=
></div><div>For operator precedence, I suggest using {ce&#39;o} and {ve kan=
ji}:</div><div><br></div><div>ti&#39;o zo pi&#39;i ce&#39;o zo su&#39;i ve =
kanji (se&#39;u) li pa su&#39;i re pi&#39;i ci du li ze</div><div><br></div=
><div>though it is different from the example currently given in the corres=
ponding BPFK section:</div><div>https://mw.lojban.org/papri/BPFK_Section:_M=
EX</div><div>ti&#39;o zo pi&#39;i ce&#39;o zo su&#39;i porsi li pa su&#39;i=
 re pi&#39;i ci du li ze</div><div>(&quot;x&quot; and &quot;+&quot; is an o=
rdered sequence) 1 + 2 x 3 =3D 7 (created for this, mi&#39;e RossOgilvie, 1=
6/6/10)</div><div><br></div><div><br></div><div>Maybe I should consult BPFK=
 about my suggestion, but I don&#39;t think BPFK should give restriction on=
 the usage of {ti&#39;o}. I rather prefer that BPFK only suggests some poss=
ible examples of usage, and that users can freely invent any usage for thei=
r own purpose.</div><div><br></div><div>mi&#39;e la guskant</div></div><div=
><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"https://groups.google.com/group/lojban">http=
s://groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

------=_Part_4584_933669812.1463929495308--

------=_Part_4583_1284899670.1463929495308--