From a.rosta@dtn.ntl.com Fri Jul 07 08:42:56 2000
Return-Path: <a.rosta@dtn.ntl.com>
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: <lojban@egroups.com>
Subject: RE: [lojban] RECORD: Quantifier Scope, 1999
Date: Fri, 7 Jul 2000 16:42:49 +0100
Message-ID: <LPBBJKMNINKHACNDIIGMEEJPCLAA.a.rosta@dtn.ntl.com>
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" <a.rosta@dtn.ntl.com>

> 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.