From lojban@cuvmb.bitnet Tue Mar 26 00:36:11 1996
Received: from punt4.demon.co.uk by stryx.demon.co.uk with SMTP
	id AA10973 ; Tue, 26 Mar 96 00:36:09 BST
Received: from punt-4.mail.demon.net by mailstore for ia@stryx.demon.co.uk
          id 827738168:03208:0; Mon, 25 Mar 96 07:16:08 GMT
Received: from cunyvm.cuny.edu ([128.228.1.2]) by punt-4.mail.demon.net
          id aa02968; 25 Mar 96 7:15 GMT
Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3)
   with BSMTP id 0202; Mon, 25 Mar 96 02:14:54 EST
Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with
 BSMTP id 3118; Mon, 25 Mar 96 02:15:29 EDT
Date:         Mon, 25 Mar 1996 02:14:42 -0500
Reply-To:     Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Sender:       Lojban list <LOJBAN%CUVMB.bitnet@CUNYVM.CUNY.EDU>
From:         Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Subject:      Re: opacity
X-To:         pcliffje@CRL.COM
X-cc:         lojban@cuvmb.cc.columbia.edu
To:           Multiple recipients of list LOJBAN <LOJBAN%CUVMB.bitnet@CUNYVM.CUNY.EDU>
Message-ID: <827738138.2968.0@cunyvm.cuny.edu>
Status: R


>cowan:
>        mi sisku tu'a le sisku
>        I search for a searcher.
>pc:
>This does not fit the pattern claimed for _sisku_ but rather the
>pattern for most opaque contexts. _tu'a le sisku_ is an event
>description, though a very vague one; it is not a property in any
>case -- read the definition of _tu'a_, which is not merely an
>opacity flag.

That definition refers to an "unspecified abstraction" which does not
necessarily rule out a property abstraction.

lojbab