Subject: [lojban] Re: The Any thread

From: "Craig" <[email-masked]>
Date: Mon, 3 Mar 2003 19:01:50 -0500

>> No it isn't. mi nitcu lo mikce == Ex(Mx & Nmx). 

>Sorry, but I don't understand that. Can anyone put it into predicate 
>logic for me?

I don't speak logic, but I glorked it as something vaguely like:

There exists an x such that ([x Mikce] and [m {mi?} Nitcu x]