From cowan@ccil.org Sun Jun 04 11:26:54 2000
Return-Path: <cowan@locke.ccil.org>
Received: (qmail 21025 invoked from network); 4 Jun 2000 18:26:53 -0000
Received: from unknown (10.1.10.27) by m2.onelist.org with QMQP; 4 Jun 2000 18:26:53 -0000
Received: from unknown (HELO locke.ccil.org) (192.190.237.102) by mta2 with SMTP; 4 Jun 2000 18:26:53 -0000
Received: (from cowan@localhost) by locke.ccil.org (8.8.5/8.8.5) id OAA13654; Sun, 4 Jun 2000 14:53:21 -0400 (EDT)
Message-Id: <200006041853.OAA13654@locke.ccil.org>
Subject: Re: [lojban] (Technical) Problem area in v3 grammar
To: rpc@myself.com
Date: Sun, 4 Jun 100 14:53:21 -0400 (EDT)
Cc: lojban@egroups.com
In-Reply-To: <20000603223222.A300@rrbcurnow.freeuk.com> from "Richard Curnow" at Jun 3, 0 10:32:22 pm
X-Mailer: ELM [version 2.4 PL25]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-eGroups-From: John Cowan <cowan@locke.ccil.org>
From: John Cowan <cowan@ccil.org>

Richard Curnow scripsit:

> Having had another day to think about this, I think John's suggested
> modification to grammar.300 provides more generality than is actually
> required to fix the problem.

True.

> I believe the minimal change needed is to redefine term<83> to look like
> this :
> 
> term<83> = sumti | tag /NUhI/ sumti | tag /KU#/ | FA # (sumti | /KU#/) | termset | NA KU #
> 
> i.e. make it optional to insert nu'i between a tag and the following
> sumti.

That works, but it creates two entirely separate functions for "nu'i":

1)	starts a termset, with elidable terminator "nu'u",

2)	optionally joins a tag to a following sumti.

(BTW, "nu'i" is not really elidable here, since elidability is a
terminator property; rather it is optional.)

-- 
John Cowan cowan@ccil.org
Yes, I know the message date is bogus. I can't help it.
--me, on far too many occasions

