From rob@twcny.rr.com Mon Jun 11 14:35:35 2001 Return-Path: X-Sender: rob@twcny.rr.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_1_3); 11 Jun 2001 21:35:34 -0000 Received: (qmail 19657 invoked from network); 11 Jun 2001 21:34:22 -0000 Received: from unknown (10.1.10.27) by m8.onelist.org with QMQP; 11 Jun 2001 21:34:22 -0000 Received: from unknown (HELO mailout4-0.nyroc.rr.com) (24.92.226.166) by mta2 with SMTP; 11 Jun 2001 21:34:22 -0000 Received: from mail1.twcny.rr.com (mail1-0 [24.92.226.74]) by mailout4-0.nyroc.rr.com (8.11.2/RoadRunner 1.03) with ESMTP id f5BLWs824543 for ; Mon, 11 Jun 2001 17:32:54 -0400 (EDT) Received: from riff ([24.95.175.101]) by mail1.twcny.rr.com (Post.Office MTA v3.5.3 release 223 ID# 0-59787U250000L250000S0V35) with ESMTP id com for ; Mon, 11 Jun 2001 17:32:55 -0400 Received: from rob by riff with local (Exim 3.22 #1 (Debian)) id 159ZGD-0000Fw-00 for ; Mon, 11 Jun 2001 17:30:09 -0400 Date: Mon, 11 Jun 2001 17:30:09 -0400 To: lojban@yahoogroups.com Subject: Re: Emerald Tablets [was: RE: [lojban] Purpose of bridi Message-ID: <20010611173009.B819@twcny.rr.com> Reply-To: rob@twcny.rr.com References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.18i X-Is-It-Not-Nifty: www.sluggy.com From: Rob Speer On Mon, Jun 11, 2001 at 04:52:51PM -0400, Craig wrote: > Okay, the next sentence is confusing too. How do you say that because X is > true, so is Y in a manner which asserts that X is true? I could just say X > is true, if X then Y, but that seems rather contrived. Any ideas? X is true implies that Y is true Y is true asserts (implies) that X is true This looks like a job for .ijo. Then you just have to state separately that X is true, and it will be clear that Y is true as well. -- Rob Speer