From lojban@cuvmb.bitnet Tue Mar 12 23:09:03 1996 Received: from punt4.demon.co.uk by stryx.demon.co.uk with SMTP id AA10814 ; Tue, 12 Mar 96 23:09:02 GMT Received: from punt-4.mail.demon.net by mailstore for ia@stryx.demon.co.uk id 826669930:26578:2; Tue, 12 Mar 96 22:32:10 GMT Received: from cunyvm.cuny.edu ([128.228.1.2]) by punt-4.mail.demon.net id aa26379; 12 Mar 96 22:31 GMT Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3) with BSMTP id 3356; Tue, 12 Mar 96 17:27:39 EST Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP id 9919; Tue, 12 Mar 96 17:28:06 EDT Date: Tue, 12 Mar 1996 15:20:03 -0500 Reply-To: John Cowan Sender: Lojban list From: John Cowan Organization: Lojban Peripheral Subject: Opacity and "sisku" To: Lojban List Message-ID: <826669904.26379.0@cunyvm.cuny.edu> Status: R There seems to have been some sort of confusion about the place structure I proposed for "sisku", with a property in x2. This did not mean that "sisku" was a search for properties, but rather a structure of the form: x1 searches for a thing/things with property x2 from field (set) x3 Examples: mi sisku le ka ce'u gerku I search-for-something-with the property-of being-a-dog. mi sisku le ka xunre I search-for-something-with the property-of being-red. mi sisku tu'a le sisku I search for a searcher. The actual place is transparent, because it's always a property abstraction, and the miniature abstraction context created by "tu'a" works here as with event abstractions to give us what we need with one extra cmavo. By quantifying in, we get the minimal pair: 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}. -- John Cowan cowan@ccil.org e'osai ko sarji la lojban