From @uga.cc.uga.edu:lojban@cuvmb.bitnet Wed Jun 21 23:25:40 1995 Received: from punt2.demon.co.uk by stryx.demon.co.uk with SMTP id AA3495 ; Wed, 21 Jun 95 23:25:38 BST Received: from punt2.demon.co.uk via puntmail for ia@stryx.demon.co.uk; Wed, 21 Jun 95 03:56:06 GMT Received: from uga.cc.uga.edu by punt2.demon.co.uk id aa11672; 21 Jun 95 4:55 +0100 Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2) with BSMTP id 0033; Tue, 20 Jun 95 23:53:49 EDT Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 8023; Tue, 20 Jun 1995 23:52:50 -0400 Date: Tue, 20 Jun 1995 20:42:39 -0700 Reply-To: Gerald Koenig Sender: Lojban list From: Gerald Koenig Subject: Re: pc answers X-To: lojban@cuvmb.cc.columbia.edu To: Iain Alexander Message-ID: <9506210455.aa11672@punt2.demon.co.uk> Status: R I am off line for several days but before I leave I want to make a suggestion: Whatever "ci nanmu pencu ci gerku" is finally defined as, that definition should be written out as a full predicate calculus formula with all the bells and whistles. We would then have a permanent and unambigous definition written in stone to incorporate as part of the grammar specification. All subseqent changes and modifications can then use that specification as a point of departure. Something like this is essential for orderly evolution of the language, in my opinion. I hope to see some comments and support for this idea when I return. djer