Subject: mansa

From: "sklyanin" <[email-masked]>
Date: Sun, 02 Jun 2002 15:15:49 -0000

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.