From sentto-44114-3465-962984576-mark=kli.org@returns.onelist.com Fri Jul 07 15:41:11 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 15966 invoked from network); 7 Jul 2000 15:41:10 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 7 Jul 2000 15:41:10 -0000 Received: (qmail 18650 invoked by uid 40001); 7 Jul 2000 15:43:04 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 18647 invoked from network); 7 Jul 2000 15:43:03 -0000 Received: from ch.egroups.com (207.138.41.144) by zash.lupine.org with SMTP; 7 Jul 2000 15:43:03 -0000 X-eGroups-Return: sentto-44114-3465-962984576-mark=kli.org@returns.onelist.com Received: from [10.1.10.37] by ch.egroups.com with NNFMP; 07 Jul 2000 15:43:01 -0000 Received: (qmail 3033 invoked from network); 7 Jul 2000 15:42:56 -0000 Received: from unknown (10.1.10.142) by m3.onelist.org with QMQP; 7 Jul 2000 15:42:56 -0000 Received: from unknown (HELO relay3-gui.server.ntli.net) (194.168.4.200) by mta1 with SMTP; 7 Jul 2000 15:42:56 -0000 Received: from m75-mp1-cvx1c.gui.ntl.com ([62.252.12.75] helo=andrew) by relay3-gui.server.ntli.net with smtp (Exim 3.03 #2) id 13Aa8B-00007w-00 for lojban@egroups.com; Fri, 07 Jul 2000 16:33:32 +0100 To: Message-ID: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal In-Reply-To: <7a.4e3c88c.2645fa0b@aol.com> X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 From: "And Rosta" MIME-Version: 1.0 Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com Delivered-To: mailing list lojban@egroups.com Precedence: bulk List-Unsubscribe: Date: Fri, 7 Jul 2000 16:42:49 +0100 Subject: RE: [lojban] RECORD: Quantifier Scope, 1999 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit > From: pycyn@aol.com [mailto:pycyn@aol.com] > Sent: 06 May 2000 23:43 > > If you think that prenex reordering ought to always work just as much as {se} > conversion, I can only report that for most kinds of quantifiers, it just > doesn't, if the variables bound by the quantifiers occur in the same bridi. > It does however work with strings of all universals or all particulars (and > in a few other really weird cases). What are the few other really weird cases? --And. ------------------------------------------------------------------------ @Backup- Protect and Access your data any time, any where on the net. Try @Backup FREE and receive 300 points from mypoints.com Install now: http://click.egroups.com/1/6346/4/_/17627/_/962984576/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com