From lojban-out@lojban.org Wed Jan 22 10:27:42 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 22 Jan 2003 18:27:40 -0000 Received: (qmail 62270 invoked from network); 22 Jan 2003 18:27:40 -0000 Received: from unknown (66.218.66.217) by m14.grp.scd.yahoo.com with QMQP; 22 Jan 2003 18:27:40 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 22 Jan 2003 18:27:40 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 18bPbA-00078I-00 for lojban@yahoogroups.com; Wed, 22 Jan 2003 10:27:40 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 18bPax-00077y-00; Wed, 22 Jan 2003 10:27:27 -0800 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) 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 X-list: lojban-list X-eGroups-From: Martin Bays From: Martin Bays Reply-To: mbays@freeshell.org X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 18319 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,[; > > ^