From rob@twcny.rr.com Mon Apr 30 13:21:46 2001 Return-Path: X-Sender: rob@twcny.rr.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_1_2); 30 Apr 2001 20:21:45 -0000 Received: (qmail 27829 invoked from network); 30 Apr 2001 20:21:45 -0000 Received: from unknown (10.1.10.142) by m8.onelist.org with QMQP; 30 Apr 2001 20:21:45 -0000 Received: from unknown (HELO mailout1-1.nyroc.rr.com) (24.92.226.81) by mta3 with SMTP; 30 Apr 2001 20:21:45 -0000 Received: from mail1.twcny.rr.com (mail1-1 [24.92.226.139]) by mailout1-1.nyroc.rr.com (8.11.2/RoadRunner 1.03) with ESMTP id f3UKJfu08773 for ; Mon, 30 Apr 2001 16:19:42 -0400 (EDT) Received: from riff ([24.95.175.122]) by mail1.twcny.rr.com (Post.Office MTA v3.5.3 release 223 ID# 0-59787U250000L250000S0V35) with ESMTP id com for ; Mon, 30 Apr 2001 15:51:09 -0400 Received: from rob by riff with local (Exim 3.22 #1 (Debian)) id 14uJgt-0000BO-00 for ; Mon, 30 Apr 2001 15:50:39 -0400 Date: Mon, 30 Apr 2001 15:50:39 -0400 To: lojban@yahoogroups.com Subject: Re: [lojban] Predicate logic and childhood. Message-ID: <20010430155039.A504@twcny.rr.com> Reply-To: rob@twcny.rr.com References: <20010430114521.C20818@digitalkingdom.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.17i In-Reply-To: <20010430114521.C20818@digitalkingdom.org>; from rlpowell@digitalkingdom.org on Mon, Apr 30, 2001 at 11:45:21AM -0700 X-Is-It-Not-Nifty: www.sluggy.com From: Rob Speer X-Yahoo-Message-Num: 6994 On Mon, Apr 30, 2001 at 11:45:21AM -0700, Robin Lee Powell wrote: > However, for maximum clarity it would perhaps be best to use > > C .ijo P > > so that if the child does not clean eir room, and the parent allows the > child to go to the park, the parent has lied again. Which the parent > will probably reluctant to do, so this helps constrain the parent to not > change eir mind. Thank you. I wish I could have said it so concisely. It would seem that the only problem with my version of the sentence was 'ko', which seems to apply to both sides of a logical connective. (I still think this should not be the case.) Your C doesn't involve 'ko', and now I see that it wasn't necessary in the first place, so it works. -- Rob Speer