From LOJBAN@CUVMB.BITNET  Sat Mar  6 22:47:23 2010
Reply-To: "John E. Clifford" <pcliffje@CRL.COM>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
Date: Mon Mar 25 12:11:13 1996
From: "John E. Clifford" <pcliffje@CRL.COM>
Subject:      opacity
X-To:         lojban list <lojban@cuvmb.cc.columbia.edu>
To: John Cowan <cowan@LOCKE.CCIL.ORG>
X-Mozilla-Status: 0001
Content-Length: 1243
X-From-Space-Date: Mon Mar 25 12:11:13 1996
X-From-Space-Address: -
Message-ID: <U6srAoMMNHH.A.9rG.7v0kLB@chain.digitalkingdom.org>

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.  Aside from that, the property trick does solve part of
the problem with opaque contexts.  But it would be nice to have a
general solution, which this one, depending on the special nature
of the deep structure of _sisku_, does not provide.  I also am not
to happy about burying quantifiers in predicates, though that is
may here be just a problem with the way this is expressed in
English.
cowan:
        da poi bloti zo'u mi sisku le ka me da
        There exists a boat X such that I search for something with
                the property of being X.
        mi sisku le ka [ce'u zo'u] ce'u bloti
        I search-for-something-with the property-that {x : x is-a-boat}.
pc:
Lord, does _me_ mean "is identical with" now?  That is about the third
time that notion has gone into cmavo space and been ejected from it, isn't
it?  That aside, this is not too bad, though still not generalizable.
pc>|83