Received: from mail-vx0-f189.google.com ([209.85.220.189]:44359)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCN673cmqFBCBiZz2BBoEkK_2cw@googlegroups.com>)
	id 1RRZcI-0003UF-9O; Fri, 18 Nov 2011 17:21:23 -0800
Received: by vcbfk1 with SMTP id fk1sf4439495vcb.16
        for <multiple recipients>; Fri, 18 Nov 2011 17:21:07 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:x-ct-class:x-ct-score:x-ct-refid:x-ct-spam
         :x-authority-analysis:x-cm-score:message-id:date:from:organization
         :user-agent:x-accept-language:mime-version:to:subject:references
         :in-reply-to:x-original-sender:x-original-authentication-results
         :reply-to:precedence:mailing-list:list-id:x-google-group-id
         :list-post:list-help:list-archive:sender:list-subscribe
         :list-unsubscribe:content-type;
        bh=rSs47u+LSpOJgB2awEK1ajoP+m9MkwtqTdbbk7mkdKw=;
        b=ikMzcoVo2/Mqvu2kiin8mq9srnUHasGSdHCndLPllXU14KdRLBMZ95kd/US+O3C8N1
         q5sG3O5Pxwc3XM8OHo5htUxCO7fguNdy6h14laXgxEEVvY2u5XuNQNoqRTL/xYilJn76
         H89pHTFDvI+fofOkbop5/Ec/kf+BM42vyw95A=
Received: by 10.52.93.178 with SMTP id cv18mr2800110vdb.10.1321665665238;
        Fri, 18 Nov 2011 17:21:05 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.220.155.209 with SMTP id t17ls5144756vcw.2.gmail; Fri, 18 Nov
 2011 17:21:04 -0800 (PST)
Received: by 10.52.187.65 with SMTP id fq1mr7882292vdc.6.1321665663997;
        Fri, 18 Nov 2011 17:21:03 -0800 (PST)
Received: by 10.52.187.65 with SMTP id fq1mr7882288vdc.6.1321665663962;
        Fri, 18 Nov 2011 17:21:03 -0800 (PST)
Received: from eastrmfepo202.cox.net (eastrmfepo202.cox.net. [68.230.241.217])
        by gmr-mx.google.com with ESMTP id bu17si1228632vdc.0.2011.11.18.17.21.03;
        Fri, 18 Nov 2011 17:21:03 -0800 (PST)
Received-SPF: neutral (google.com: 68.230.241.217 is neither permitted nor denied by best guess record for domain of lojbab@lojban.org) client-ip=68.230.241.217;
Received: from eastrmimpo306.cox.net ([68.230.241.238])
          by eastrmfepo202.cox.net
          (InterMail vM.8.01.04.00 201-2260-137-20101110) with ESMTP
          id <20111119012103.XSKN2803.eastrmfepo202.cox.net@eastrmimpo306.cox.net>
          for <lojban@googlegroups.com>; Fri, 18 Nov 2011 20:21:03 -0500
Received: from [192.168.0.100] ([70.187.237.100])
	by eastrmimpo306.cox.net with bizsmtp
	id ypM31h0022AfMYu02pM3Xq; Fri, 18 Nov 2011 20:21:03 -0500
X-CT-Class: Clean
X-CT-Score: 0.00
X-CT-RefID: str=0001.0A020208.4EC7047F.0063,ss=1,re=0.000,fgs=0
X-CT-Spam: 0
X-Authority-Analysis: v=1.1 cv=cdJjHAINPiZBdT+VAeFfLOvj93neuvwrRIGsWSZO+Cw=
 c=1 sm=1 a=dYDkaTZZu5wA:10 a=LNyRDDSfcIoA:10 a=xmHE3fpoGJwA:10
 a=8nJEP1OIZ-IA:10 a=MQZuvjT3xUZLKv0gclfWMg==:17 a=8YJikuA2AAAA:8
 a=MlCWezKaPNteFivST9MA:9 a=wPNLvfGTeEIA:10 a=dxBpO5_FDU0A:10
 a=MQZuvjT3xUZLKv0gclfWMg==:117
X-CM-Score: 0.00
Message-ID: <4EC7047F.4080208@lojban.org>
Date: Fri, 18 Nov 2011 20:21:03 -0500
From: "Bob LeChevalier, President and Founder - LLG" <lojbab@lojban.org>
Organization: The Logical Language Group, Inc.
User-Agent: Mozilla Thunderbird 1.0.7 (Windows/20050923)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: lojban@googlegroups.com
Subject: Re: [lojban] Lions and levels and the like
References: <1321501066.64722.YahooMailRC@web81306.mail.mud.yahoo.com> <CAOYwWb10sDFZMfj8PDLJcs4=PNfKidsxFs6-7oJL2XKMycBSBA@mail.gmail.com> <CAO7tK2eVLOEVpdO9rWE+FF8RRpVud_KcXQWFBgde834FTQRQow@mail.gmail.com> <CAOYwWb0qongWuyfY6CbA3T37ie+-ZLGy0C8oj5-L8X-7aPBD_A@mail.gmail.com> <CAO7tK2dq-fjM_p6+pRqWb98mT+GL6rq8iiqmpbWP8rAphBZt_Q@mail.gmail.com> <CAOYwWb0TtO0rQ15PKUgYRd1rAhC-kS6rErryD4E3q9-xsL35uQ@mail.gmail.com> <CAO7tK2fis_iTSBPqqbyPRX28jukOcWDdvau5w6PMDa3otLROHA@mail.gmail.com> <CAOYwWb2ZFLsKEhPffjO=QSGsj1c9oYeb9=femhFpO=JOAeeywQ@mail.gmail.com> <CAO7tK2droqa-EGbekEK=Z-t+3C2AF0OSXKi7+87Fm3DQn_VJxg@mail.gmail.com> <CAOYwWb3W=Fg08oPKgLPmwY7rvVdBfGY-RgWVVRQ0MXcF2k0brw@mail.gmail.com> <1321633769.30584.YahooMailRC@web81303.mail.mud.yahoo.com> <CAOYwWb22v6nNUCpC2eF6m90UQyCg_sUxQpo3A2xQmdgdrtiT0Q@mail.gmail.com> <CAKOEKkTu-hcznZD2-8Pm8WkxAw=PzohNmRi-c1=nVQ=XE2kY9g@mail.gmail.com> <1321640207.88557.YahooMailRC@web81308.mail.mud.yahoo.com>
In-Reply-To: <1321640207.88557.YahooMailRC@web81308.mail.mud.yahoo.com>
X-Original-Sender: lojbab@lojban.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com:
 68.230.241.217 is neither permitted nor denied by best guess record for
 domain of lojbab@lojban.org) smtp.mail=lojbab@lojban.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

John E Clifford wrote:
> Not really, but it can be massaged to do the work.  The ideal would be 
> "x1 is necessary under condition/compulsion x2"

I think that is "sarcu"

"nibli" applies to logical necessity.

If you asked about "sufficient", I might have a harder time, because I 
think that "banzu" was originally intended to cover it, but as currently 
defined became a somewhat different sense than the complement of sarcu.

lojbab
-- 
Bob LeChevalier    lojbab@lojban.org    www.lojban.org
President and Founder, The Logical Language Group, Inc.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.