At 03:15 PM 6/2/02 +0000, you wrote:
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)?
I would use mapti for the equation example.The words are all related, though. Given a situation or property, you might want to test (cipra) whether something matches (mapti) that situation or property, such as the variable X in your example. mansa allows for the fact that outside of mathematics, the minimal standard for passing or mapti-ing a test is at the discrimination of the person evaluating the test.
lojbab