From jjllambias@hotmail.com Tue Mar 19 10:49:30 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 19 Mar 2002 18:49:30 -0000 Received: (qmail 10281 invoked from network); 19 Mar 2002 18:40:04 -0000 Received: from unknown (66.218.66.216) by m11.grp.scd.yahoo.com with QMQP; 19 Mar 2002 18:40:04 -0000 Received: from unknown (HELO hotmail.com) (216.33.240.75) by mta1.grp.scd.yahoo.com with SMTP; 19 Mar 2002 18:40:04 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Tue, 19 Mar 2002 10:40:04 -0800 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Tue, 19 Mar 2002 18:40:04 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Logic course Date: Tue, 19 Mar 2002 18:40:04 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 19 Mar 2002 18:40:04.0863 (UTC) FILETIME=[7C6B88F0:01C1CF75] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 la pycyn cusku di'e >This still does not work: {du} is a two-place argument, so the three >place version does not work; I thought {du} was an infinite-place relationship. At least I'm sure it says so somewhere. ... >{li xy du me'o da pi'i >da} seems to work somewhat better (it still fails, but I am begining to >suspect that the parser doesn't do MEX any better than we do). The parser does MEX according to the rules. The problem is with the rules, not with the parser. I think it's {[li] xy du li me'o da pi'i me'o da}. mu'o mi'e xorxes _________________________________________________________________ MSN Photos is the easiest way to share and print your photos: http://photos.msn.com/support/worldwide.aspx