Return-Path: Received: by snark.thyrsus.com (/\==/\ Smail3.1.21.1 #21.19) id ; Thu, 9 Jul 92 10:33 EDT Received: by cbmvax.cbm.commodore.com (5.57/UUCP-Project/Commodore 2/8/91) id AA23424; Thu, 9 Jul 92 10:12:14 EDT Received: from pucc.Princeton.EDU by relay1.UU.NET with SMTP (5.61/UUNET-internet-primary) id AA02672; Thu, 9 Jul 92 09:44:32 -0400 Message-Id: <9207091344.AA02672@relay1.UU.NET> Received: from PUCC.PRINCETON.EDU by pucc.Princeton.EDU (IBM VM SMTP V2R2) with BSMTP id 3743; Thu, 09 Jul 92 09:44:05 EDT Received: by PUCC (Mailer R2.08 ptf034) id 6538; Thu, 09 Jul 92 09:43:14 EDT Date: Thu, 9 Jul 1992 14:38:49 BST Reply-To: Ivan A Derzhanski Sender: Lojban list From: Ivan A Derzhanski Subject: Wallops #8 To: John Cowan , Eric Raymond , Eric Tiedemann In-Reply-To: "Mark E. Shoulson"'s message of Thu, 9 Jul 1992 09:25:22 -0400 <12642.9207091325@cogsci.ed.ac.uk> Status: RO X-From-Space-Date: Thu Jul 9 10:33:08 1992 X-From-Space-Address: cbmvax!uunet!CUVMB.BITNET!LOJBAN > Date: Thu, 9 Jul 1992 09:25:22 -0400 > From: "Mark E. Shoulson" > >From: Ivan A Derzhanski > > > >I was afraid whether the scoping didn't work the opposite way (to the > >effect of `Christ and the Devil want no one'). > > Remember the default quantifier on {da}: {su'opada zo'u}. Unless otherwise > specified, variables are presumed to be existentially quantified. Yes, but existential quantification in the scope of negation is the same as negation in the scope of universal quantification. Ivan