[lojban] Re: importing ro

["And Rosta" <a.rosta@lycos.co.uk>]

Jordan:
> With a *nonimporting* ro,
> 	naku ro pavyseljirna != su'o pavyseljirna naku
> 	(and the book says this is equal) 

I don't understand this. 

Nonimporting:

It is not the case that everything is either not a unicorn or is
white.
=
There is something that is a unicorn and is not white.

-- they seem equivalent to me.

Importing:

It is not the case that (there is a unicorn and everything is either
not a unicorn or is white)
!=
There is something that is a unicorn and is not white.

-- they seem nonequivalent. The first is true if there are no unicorns,
and the second is false if there are no unicorns.

--And.