Received: from VMS.DC.LSOFT.COM (vms.dc.lsoft.com [205.186.43.2]) by locke.ccil.org (8.6.9/8.6.10) with ESMTP id FAA22816 for <cowan@LOCKE.CCIL.ORG>; Mon, 25 Mar 1996 05:40:30 -0500
Message-Id: <199603251040.FAA22816@locke.ccil.org>
Received: from PEACH.EASE.LSOFT.COM (205.186.43.4) by VMS.DC.LSOFT.COM (LSMTP for OpenVMS v1.0a) with SMTP id 8DCDC8F7 ; Mon, 25 Mar 1996 5:37:00 -0500
Date:         Mon, 25 Mar 1996 02:14:42 -0500
Reply-To: Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Subject:      Re: opacity
X-To:         pcliffje@CRL.COM
X-cc:         lojban@cuvmb.cc.columbia.edu
To: John Cowan <cowan@LOCKE.CCIL.ORG>
X-Mozilla-Status: 0011
Content-Length: 553
Lines: 20

Content-Length: 523
Lines: 17

Content-Length: 492
Lines: 14

>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