mansa

["sklyanin" <eks2@york.ac.uk>]

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.