From mbays@freeshell.org Wed Jan 22 10:27:25 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 22 Jan 2003 10:27:25 -0800 (PST) Received: from dhcp189.chch.ox.ac.uk ([163.1.237.189] helo=dave ident=0) by digitalkingdom.org with esmtp (Exim 4.05) id 18bPar-00077n-00 for lojban-list@lojban.org; Wed, 22 Jan 2003 10:27:21 -0800 Received: from dave (IDENT:1001@localhost [127.0.0.1]) by dave (8.12.4/8.12.4) with ESMTP id h0MIS2AZ002251 for ; Wed, 22 Jan 2003 18:28:02 GMT Received: from localhost (martin@localhost) by dave (8.12.4/8.12.4/Submit) with ESMTP id h0MIS1Cx002248 for ; Wed, 22 Jan 2003 18:28:01 GMT X-Authentication-Warning: dave: martin owned process doing -bs Date: Wed, 22 Jan 2003 18:28:01 +0000 (GMT) From: Martin Bays X-X-Sender: martin@dave To: lojban-list@lojban.org Subject: [lojban] za'e "postnex" Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-archive-position: 3854 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: mbays@freeshell.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list Is there a nice way to quantify over variables "in afterthought"? It's the kind of thing you see in (informal) mathematics all the time - it's often natural to assume your variables are arbitrary when you write the main formula, and only afterwards think to put in the "for all x". So you might have, say "n[sub]i > 0 (all i in N)". So is there an elegant way to translate this kind of thing into lojban? The best I can think of is {ny. boi xi .ibu zmadu li no .i na go'i .i ro da poi kacna'u zi'e goi .ibu zo'u go'i} which is really ugly. Relatedly - is my use there of goi there, assigning .ibu to an existential variable, legit? I can't seem to find a good reference. Also relatedly - is there a good reason why you can't use a prenex in a jek/joik connected subsentence? (This is just me being peeved that my first attempt at the above sentence, using {.inaje}, was rejected) I see how it follows from the EBNF grammar, but I was just wondering why it was decided to be that way. Thanks --- #^t'm::>#shs>:#,_$1+9j9"^>h>" < v :>8*0\j" o'u" v" e'i" v".neta"^q> ;z,[; > > ^