From fracture@cs6668125-184.austin.rr.com Thu Feb 06 18:04:48 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 06 Feb 2003 18:04:48 -0800 (PST) Received: from cs6668125-184.austin.rr.com ([66.68.125.184] ident=root) by digitalkingdom.org with esmtp (Exim 4.12) id 18gxsh-0002bt-00 for lojban-list@lojban.org; Thu, 06 Feb 2003 18:04:43 -0800 Received: from cs6668125-184.austin.rr.com (asdf@localhost [127.0.0.1]) by cs6668125-184.austin.rr.com (8.12.3/8.12.3) with ESMTP id h172C10h085514 for ; Thu, 6 Feb 2003 20:12:01 -0600 (CST) (envelope-from fracture@cs6668125-184.austin.rr.com) Received: (from fracture@localhost) by cs6668125-184.austin.rr.com (8.12.3/8.12.3/Submit) id h172BuIZ085496 for lojban-list@lojban.org; Thu, 6 Feb 2003 20:11:56 -0600 (CST) Date: Thu, 6 Feb 2003 20:11:56 -0600 From: Jordan DeLong To: lojban-list@lojban.org Subject: [lojban] Re: Grammatical Examples in the CLL (was Re: Re: Ungrammatical examples in CLL) Message-ID: <20030207021156.GA85399@allusion.net> References: <5.2.0.9.0.20030202020915.032e2b60@pop.east.cox.net> <20030202153300.GA65000@allusion.net> <20030203183258.GA17969@digitalkingdom.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="+QahgC5+KEYLbs62" Content-Disposition: inline In-Reply-To: <20030203183258.GA17969@digitalkingdom.org> User-Agent: Mutt/1.5.1i X-archive-position: 4034 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: fracture@allusion.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --+QahgC5+KEYLbs62 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Mon, Feb 03, 2003 at 10:32:58AM -0800, Robin Lee Powell wrote: > On Sun, Feb 02, 2003 at 09:33:00AM -0600, Jordan DeLong wrote: > > On Sun, Feb 02, 2003 at 02:10:00AM -0500, Robert LeChevalier wrote: > > > At 08:36 AM 2/1/03 -0800, Robin Lee Powell wrote: > > > >On Sat, Feb 01, 2003 at 03:25:37PM +0000, Martin Bays wrote: > > > > > Further to the problems with prenex-connective interaction - > > > > > > > > > > 16.10.5: > > > > > roda zo'u mi prami da .ije naku zo'u do prami da > > > > > > > > > > and 16.10.6: > > > > > su'oda zo'u mi prami da .ije naku zo'u do prami da > > > > > > > > > > do not parse. Try them on jbofihe. You can use ge...gi instead, > > > > > and that seems fine, but (as I mentioned the other day) it looks > > > > > like you can't have individually prenexed sentences connected in > > > > > afterthought. > > > > > > > > > > Damned annoying, if you ask me. > > > > > > > >For the record, jbofi'e has been shown to have errors before. > > >=20 > > > They parse correctly in the official parser. > >=20 > > This is because the official parser uses an outdated version of the > > BNF. Jbofi'e is right---it is ungrammatical in the newer grammar. > > (Which really sucks, btw.) >=20 > No, jbofi'e is wrong. >=20 > prenex_30 : terms_80 ZOhU_492 >=20 > terms_80 : terms_A_81 > | terms_80 terms_A_81 > ; >=20 > terms_A_81 : terms_B_82 > | terms_A_81 PEhE_494 JOIK_JEK_422 terms_B_82 > ; >=20 > terms_B_82 : term_83 > | terms_B_82 CEhE_495 term_83 > ; >=20 > term_83 : sumti_90 > | modifier_84 > | term_set_85 > | NA_KU_810 > ; >=20 > So, a prenex is terms_80 followed by zo'u. >=20 > terms_80 can reduco to terms_A_81, which can reduce to terms_B_82, which = can > reduce to term_83, which can reduce to NA_KU_810, which is just "na ku". >=20 > Unless I'm missing something? You're looking at the wrong part of the grammar. statement; : statement-1 | prenex statement statement-1; : statement-2 [I joik-jek [statement-2]] ... statement-2; : statement-3 [I [jek | joik] [stag] BO # [statement-2]] statement-3; : sentence | [tag] TUhE # text-1 /TUhU#/ =2E... sentence; : [terms [CU #]] bridi-tail So you can't put a prenex in there after a .ifoo connective. Yes this sucks. The older grammar (which the official parser uses) supports this. I have no idea why it was removed. All that needs to be done to fix it is to make the part after the connective of the statement1 and statement2 things use a "statement" rule instead of a "statement2" rule, and to decide what kind of scope the outer prenex has. --=20 Jordan DeLong - fracture@allusion.net lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u sei la mark. tuen. cusku --+QahgC5+KEYLbs62 Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (FreeBSD) iD8DBQE+QxXsDrrilS51AZ8RAnehAKC4/p1wlacaUxnOEznTnrDSKQjwbACfSSzv Tr8mJUg0DsQU9QC0DNBfGtM= =Zo1j -----END PGP SIGNATURE----- --+QahgC5+KEYLbs62--