Date:  Wed, 10 Dec 1997 13:03:21 -0500 (EST)
Message-Id: <199712101803.NAA09904@locke.ccil.org>
Reply-To: John Cowan <cowan@DRV.CBC.COM>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: John Cowan <cowan@DRV.CBC.COM>
Organization: Lojban Peripheral
Subject:      Re: CAha (was: partial instantiations)
X-To:         Lojban List <lojban@cuvmb.cc.columbia.edu>
To: John Cowan <cowan@LOCKE.CCIL.ORG>
X-Mozilla-Status: 0011
Content-Length: 702
X-From-Space-Date: Wed Dec 10 13:03:32 1997
X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU

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