Return-Path: Received: from SEGATE.SUNET.SE by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0tIiGC-0000ZUC; Thu, 23 Nov 95 22:28 EET Message-Id: Received: from listmail.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.0a) with SMTP id 211ADC91 ; Thu, 23 Nov 1995 21:28:43 +0100 Date: Thu, 23 Nov 1995 20:25:29 +0000 Reply-To: ucleaar Sender: Lojban list From: ucleaar Subject: Re: Colourless green ideas X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 835 Lines: 20 Jorge to Dylan: > > I'd also like to > > see a proposal for the substructure of PA, preferably one that doesn't > > rule out any current texts. > This is not a full proposal, but I posted this in March: > The parser accepts any string of PAs as a number, but not all > combinations are meaningful (at least to me). Here is an attempt > to describe which are the meaningful combinations, written in > bnf-ish notation. > Comments about all this are most welcome and solicited. I can't comment on its success, but I applaud the endeavour. For the grammar (= language rule system) to be complete we need to know the meaning of every possible sentence. At present we don't, and we can fix this by working out what some previously not understood construction means, or by rewriting the grammar to rule out the offending sentence. --- And