Subject: [lojban] Re: The Any thread

From: Jordan DeLong <[email-masked]>
Date: Mon, 3 Mar 2003 17:39:55 -0600

On Mon, Mar 03, 2003 at 06:25:46PM -0500, Craig wrote:
[...]
> >{lo} is not defined in traditional Lojban the way you want it.
> 
> Yes it is.

No it isn't. mi nitcu lo mikce == Ex(Mx & Nmx). There is no
question that this is the definition given in CLL. Traditional
lojban == CLL.

-- 
Jordan DeLong - [email-masked]
lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u
sei la mark. tuen. cusku