Received: from uga.cc.uga.edu by nfs2.digex.net with SMTP id AA07363
  (5.67b8/IDA-1.5 for <lojbab@ACCESS.DIGEX.NET>); Wed, 21 Dec 1994 02:35:48 -0500
Message-Id: <199412210735.AA07363@nfs2.digex.net>
Received: from UGA.CC.UGA.EDU by uga.cc.uga.edu (IBM VM SMTP V2R2)
   with BSMTP id 8911; Wed, 21 Dec 94 02:29:35 EST
Received: from UGA.CC.UGA.EDU (NJE origin LISTSERV@UGA) by UGA.CC.UGA.EDU (LMail V1.2a/1.8a) with BSMTP id 9792; Wed, 21 Dec 1994 02:28:23 -0500
Date:         Wed, 21 Dec 1994 00:29:07 -0700
Reply-To: Chris Bogart <cbogart@quetzal.com>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: Chris Bogart <cbogart@quetzal.com>
Subject:      ni'i vs naja
To: Bob LeChevalier <lojbab@access.digex.net>
Status: RO
X-From-Space-Date: Wed Dec 21 02:35:54 1994
X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu

Xorxes:
>{ni'i} is for *logical* entailment, and this is not what usually "if" is
>used for. I find that {ni'i} is used often where {ki'u} would work much
>better.
>
>{ni'i} works for things like:
>
>     la spot se tuple voda ni'i le du'u ge ro gerku cu se tuple voda
>     gi la spot gerku
>     Spot has four legs because every dog has four legs and Spot is a dog.
>
>It does not work for things like:
>
>     la spot se tuple voda ki'u le nu sy fadni gerku
>     Spot has four legs because he is a normal dog.

But the reference grammar paper "From Boston via the road go I" says:
>7.4)    la sokrates. morsi binxo ni'i le nu la sokrates. remna
>    Socrates dead-became with-logical-justification Socrates is-human.
>    Socrates died because Socrates is human.

I've also been using ni'i in this slightly fuzzier way.  My text is full of
".iseni'ibo" (annoyingly unzipfean as it is .uinai).

It's a matter of definition of ni'i/nibli/entail/imply, I guess, but I lean
more towards Nick's roomier definition.

I should say, though, that I disagree with Nick about ni'i always being used
in preference to naja.  They're different syntactically if nothing else, and
if it turns out that they mean the same thing, why use ".ini'ibo" if
".inaja" is shorter?  By my own arguments I guess I should have been using
".ijanai" instead of ".iseni'ibo", but then I'm not fluent yet either...

BTW I'm assuming that these are equivalent:

    X nibli Y
    Y ni'i ledu'u X
    X .ini'ibo Y

The reference grammar paper has a little table like this, but it's not
consistent with the examples.

  ____    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  \  /    Chris Bogart          ftp://ftp.csn.org/cbogart/html/homepage.html
   \/     Quetzal Consulting    cbogart@quetzal.com
          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~