From eks2@york.ac.uk Sun Jun 02 08:15:50 2002
Return-Path: <eks2@york.ac.uk>
X-Sender: eks2@york.ac.uk
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_0_3_2); 2 Jun 2002 15:15:50 -0000
Received: (qmail 11551 invoked from network); 2 Jun 2002 15:15:50 -0000
Received: from unknown (66.218.66.216)
  by m1.grp.scd.yahoo.com with QMQP; 2 Jun 2002 15:15:50 -0000
Received: from unknown (HELO n11.grp.scd.yahoo.com) (66.218.66.66)
  by mta1.grp.scd.yahoo.com with SMTP; 2 Jun 2002 15:15:50 -0000
Received: from [66.218.67.156] by n11.grp.scd.yahoo.com with NNFMP; 02 Jun 2002 15:15:49 -0000
Date: Sun, 02 Jun 2002 15:15:49 -0000
To: lojban@yahoogroups.com
Subject: mansa
Message-ID: <addcr5+f64s@eGroups.com>
User-Agent: eGroups-EW/0.82
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 384
X-Mailer: Yahoo Groups Message Poster
From: "sklyanin" <eks2@york.ac.uk>
X-Originating-IP: 144.32.128.133
X-Yahoo-Group-Post: member; u=71790832
X-Yahoo-Profile: sklyanin

coi rodo

I have a question about the definition of {mansa}:

mansa satisfy
x1 satisfies evaluator x2 in property (ka)/state x3 

Is the "evaluator" x1 here a person performing a judgment
or a condition like in "the variable X satisfies the equation Y"?

If x1 can be only a person what can we use in the latter example:
{mapti} (match) or {cipra} (test)?

co'o mi'e .evgenis.