From a.rosta@dtn.ntl.com Fri Jul 07 08:42:56 2000 Return-Path: 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: Subject: RE: [lojban] RECORD: Quantifier Scope, 1999 Date: Fri, 7 Jul 2000 16:42:49 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit 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" X-Yahoo-Message-Num: 3463 > 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.