From cbmvax!uunet!CUVMA.BITNET!LOJBAN Tue Feb 11 02:58:03 1992 Return-Path: Received: by snark.thyrsus.com (/\==/\ Smail3.1.21.1 #21.19) id ; Tue, 11 Feb 92 02:57 EST Received: by cbmvax.cbm.commodore.com (5.57/UUCP-Project/Commodore 2/8/91) id AA00218; Tue, 11 Feb 92 00:19:57 EST Received: from cunixf.cc.columbia.edu by relay1.UU.NET with SMTP (5.61/UUNET-internet-primary) id AA02922; Tue, 11 Feb 92 00:01:38 -0500 Received: from cuvmb.cc.columbia.edu by cunixf.cc.columbia.edu (5.59/FCB) id AA07276; Tue, 11 Feb 92 00:01:42 EST Message-Id: <9202110501.AA07276@cunixf.cc.columbia.edu> Received: from CUVMB.COLUMBIA.EDU by CUVMB.COLUMBIA.EDU (IBM VM SMTP R1.2.1) with BSMTP id 0838; Tue, 11 Feb 92 00:00:09 EST Received: by CUVMB (Mailer R2.07) id 0758; Mon, 10 Feb 92 23:59:19 EST Date: Mon, 10 Feb 1992 19:43:51 -0800 Reply-To: "F. Schulz" Sender: Lojban list From: "F. Schulz" Subject: ordered sequence X-To: uunet!cuvmb.cc.columbia.edu!lojban@uunet.UU.NET To: John Cowan , Eric Raymond , Eric Tiedemann Status: RO frank> .i li so e li no cfipu mi le ka na dikni '9' and '0' confuse me in-property not regular. kolin> The meaning of ".e" is such that this logically implies (nibli) li so cfipu mi li'o .ije li no cfipu mi li'o I suspect that this is not what you meant! Right. How do you convert a list of sumti into an ordered sequence which is a sumti? I want begin-seq sumti_1 sumti_2 end-seq to be an ordered sequence. How about lu li so li no li'u poi porsi ku'o or le porsi pe lu li so li no li'u ge'u Frank Schulz ( fschulz@pyramid.com )