Message-ID: <348ECE15.5C07@locke.ccil.org>
Date: Wed, 10 Dec 1997 12:15:01 -0500
From: John Cowan <cowan@locke.ccil.org>
Organization: Lojban Peripheral
X-Mailer: Mozilla 3.0 (WinNT; I)
MIME-Version: 1.0
To: Lojban List <lojban@cuvmb.cc.columbia.edu>
Subject: Re: CAha (was: partial instantiations)
References: <199712101555.KAA05285@locke.ccil.org>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mozilla-Status: 0011
Content-Length: 669
X-From-Space-Date: Wed Dec 10 12:15:01 1997
X-From-Space-Address: -

la .and. cusku di'e

> (i) Is {da ka`e broda}
> 
>     {ka`e ku da broda} = {cumki fa lo nu da broda}
> 
> or
> 
>     {da ka`e ku broda} = {da zo`u cumki fa lo nu da broda}
> 
> ?

The answer is not defined at present, since we don't have rules
for interacting CAhAs with quantified variables.

> (ii) How can one express the idea "At time T, subject S is
> being/doing P", as opposed to "At time T=now, S is P"? (I
> thought that {ca`a} has a default expansion to {ca ca`a}.)

No, "ca'a" is no more implicitly "ca" than tenseless bridi are
implicitly "ca" (and no less, either).

-- 
John Cowan	http://www.ccil.org/~cowan		cowan@ccil.org
			e'osai ko sarji la lojban