Subject: Re: [lojban] Re: importing ro

From: [email-masked]
Date: Thu, 7 Nov 2002 20:14:02 EST

In a message dated 11/7/2002 1:47:00 PM Central Standard Time, 
[email-masked] writes:

> <<
> ro broda cu brode
> = ge de broda gi ro da ga na broda gi brode
>>
Strictly spaking, of course, what pc favors is taking {ro broda cu brode} , 
with standard Lojban importing {ro} as basic and introducing the 
non-importing form as
{ro da zo'u ganai da broda gi da brode}, as it normally is in Logic. [In 
fairness, this can be simplified to {ga ro broda cu brode gi no broda cu 
broda} or even {no broda naku brode}]