How to use {ti'o} (was Re: [lojban] How to specify dates with “detri”?)

[guskant <gusni.kantu@gmail.com>]

Le vendredi 20 mai 2016 23:28:33 UTC, Pierre Abbat a écrit :

On Tuesday, May 03, 2016 23:12:16 guskant wrote:
> Those different answers gave you some different examples of convention,
> which are not suggestion for official definition.
> The official definition of {detri} does not restrict the form of x1 to one
> convention: x1 of {detri} is any sumti that can be a symbol for a time
> point; the applicable symbol is defined with x4.
> The form of x1 depends on context, and you can specify the form with x4 or
> any additional items like {fi'o}, {noi}, {ti'o}* and so on if necessary.
>
> (*Use of {ti'o} for that purpose is not officially suggested but I think it
> is enough applicable for specifying mapping of numbers to time points.)

What do you put between {ti'o} and {se'u} for dates? For that matter, what do
you put for operator precedence?

 

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 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 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 = 7 (created for this, mi'e RossOgilvie, 16/6/10)

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

mi'e la guskant

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