>> 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]