From araizen@newmail.net Sat Apr 27 14:18:59 2002
Return-Path: <araizen@newmail.net>
X-Sender: araizen@newmail.net
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_0_3_1); 27 Apr 2002 21:18:59 -0000
Received: (qmail 86510 invoked from network); 27 Apr 2002 21:18:58 -0000
Received: from unknown (66.218.66.216)
  by m8.grp.scd.yahoo.com with QMQP; 27 Apr 2002 21:18:58 -0000
Received: from unknown (HELO mxout1.netvision.net.il) (194.90.9.20)
  by mta1.grp.scd.yahoo.com with SMTP; 27 Apr 2002 21:18:58 -0000
Received: from oemcomputer ([62.0.180.5]) by mxout1.netvision.net.il
  (iPlanet Messaging Server 5.1 (built Sep 5 2001))
  with SMTP id <0GV8007SSWJCQ8@mxout1.netvision.net.il> for
  lojban@yahoogroups.com; Sun, 28 Apr 2002 00:18:51 +0300 (IDT)
Date: Sun, 28 Apr 2002 00:18:29 +0200
Subject: Re: [lojban] cipja'o
To: lojban@yahoogroups.com
Message-id: <00eb01c1ee39$8076cb20$05b4003e@oemcomputer>
MIME-version: 1.0
X-MIMEOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
X-Mailer: Microsoft Outlook Express 5.00.2919.6600
Content-type: text/plain; charset=iso-8859-1
Content-transfer-encoding: 7BIT
X-Priority: 3
X-MSMail-priority: Normal
References: <47.1c0a1831.29fbffa9@aol.com>
From: Adam Raizen <araizen@newmail.net>
X-Yahoo-Group-Post: member; u=3063669
X-Yahoo-Profile: araizen

la pycyn. cusku di'e

> Oh, and {cipra} is not good for mathematical proofs -- it means "test" not
> "valid argument string" The {jarco} part is OK, but I would combine it with
> {jalge).

I don't think than 'result' has much to do with proofs and conclusions (despite
the word 'ja'o'). Maybe 'nibli porsi' (nibypoi)

mu'o mi'e .adam.