From cbmvax!uunet!cuvmb.bitnet!LOJBAN Thu Jul 9 10:33:09 1992 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 AA23477; Thu, 9 Jul 92 10:12:29 EDT Received: from rutgers.edu by relay1.UU.NET with SMTP (5.61/UUNET-internet-primary) id AA06510; Thu, 9 Jul 92 09:59:04 -0400 Received: from cbmvax.UUCP by rutgers.edu (5.59/SMI4.0/RU1.4/3.08) with UUCP id AA11416; Thu, 9 Jul 92 09:37:20 EDT Received: by cbmvax.cbm.commodore.com (5.57/UUCP-Project/Commodore 2/8/91) id AA20938; Thu, 9 Jul 92 09:36:46 EDT Received: from pucc.Princeton.EDU by relay1.UU.NET with SMTP (5.61/UUNET-internet-primary) id AA28137; Thu, 9 Jul 92 09:27:09 -0400 Message-Id: <9207091327.AA28137@relay1.UU.NET> Received: from PUCC.PRINCETON.EDU by pucc.Princeton.EDU (IBM VM SMTP V2R2) with BSMTP id 3594; Thu, 09 Jul 92 09:26:44 EDT Received: by PUCC (Mailer R2.08 ptf034) id 5532; Thu, 09 Jul 92 09:25:57 EDT Date: Thu, 9 Jul 1992 09:25:22 -0400 Reply-To: "Mark E. Shoulson" Sender: Lojban list From: "Mark E. Shoulson" Subject: Wallops #8 X-To: lojban@cuvmb.cc.columbia.edu To: John Cowan In-Reply-To: Ivan A Derzhanski's message of Tue, 7 Jul 1992 20:56:29 BST Status: RO >Date: Tue, 7 Jul 1992 20:56:29 BST >From: Ivan A Derzhanski >> Date: Tue, 7 Jul 1992 14:14:36 -0400 >> From: "Mark E. Shoulson" >> >From: Ivan A Derzhanski >> >> >Does {da} here work for `him'? >> >> I think it does. Sort of "There's someone neither Christ nor the Devil >> wants". >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. So it works. ~mark