Sender: lojban@googlegroups.com
Received-SPF: neutral (google.com: 69.168.97.48 is neither permitted nor denied by best guess record for domain of phma@bezitopo.org) client-ip=69.168.97.48;
X_CMAE_Category: 0,0 Undefined,Undefined
X-CNFS-Analysis: v=2.1 cv=LZoFtFvi c=1 sm=0 tr=0 a=5n1d6GSJGnnyfnXdd0Hfiw==:117 a=5n1d6GSJGnnyfnXdd0Hfiw==:17 a=L9H7d07YOLsA:10 a=9cW_t1CCXrUA:10 a=s5jvgZ67dGcA:10 a=kj9zAlcOel0A:10 a=yrkiwgmsf1kA:10 a=ztCbsH-s8W1vIRSDLdsA:9 a=CjuIK1q_8ugA:10
X-CM-Score: 0
X-Scanned-by: Cloudmark Authority Engine
Received-SPF: neutral (smtp02.hughes.cmh.synacor.com: 174.109.123.133 is neither permitted nor denied by domain of bezitopo.org)
Received: from [174.109.123.133] ([174.109.123.133:41337] helo=bezitopo.org)
	by smtp.hughes.net (envelope-from <phma@bezitopo.org>)
	(ecelerity 2.2.3.49 r(42060/42061)) with ESMTPSA (cipher=AES256-SHA) 
	id 8F/DF-26585-0AD9F375; Fri, 20 May 2016 19:28:32 -0400
Received: from caracal.localnet (localhost [127.0.0.1])
	by bezitopo.org (Postfix) with ESMTP id 453EC8C0E
	for <lojban@googlegroups.com>; Fri, 20 May 2016 19:28:30 -0400 (EDT)
From: Pierre Abbat <phma@bezitopo.org>
To: lojban@googlegroups.com
Subject: =?UTF-8?B?UmU6IFtsb2piYW5dIEhvdyB0byBzcGVjaWZ5IGRhdGVzIHdpdGgg4oCcZGV0cmnigJ0/?=
Date: Fri, 20 May 2016 19:28:28 -0400
Message-ID: <1762131.xfL4pIEcRo@caracal>
User-Agent: KMail/4.13.3 (Linux/3.13.0-86-generic; KDE/4.13.3; x86_64; ; )
In-Reply-To: <cbe2f364-5f9a-48f5-bc87-6150895d68b3@googlegroups.com>
References: <20160428233042.00eec890@W5.localdomain> <20160503180728.1a4f504e@W5.localdomain> <cbe2f364-5f9a-48f5-bc87-6150895d68b3@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
X-Original-Sender: phma@bezitopo.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=neutral
 (google.com: 69.168.97.48 is neither permitted nor denied by best guess
 record for domain of phma@bezitopo.org) smtp.mailfrom=phma@bezitopo.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Spam-Checked-In-Group: lojban@googlegroups.com
X-Google-Group-Id: 1004133512417
List-Post: <https://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
List-Help: <https://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
List-Archive: <https://groups.google.com/group/lojban
List-Subscribe: <https://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>,
 <https://groups.google.com/group/lojban/subscribe>
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -

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?

Pierre
-- 
li fi'u vu'u fi'u fi'u du li pa

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