Re: [xacml-comment] Public Comment

[Anne.Anderson@sun.com]

Haruyuki-san,

The first case you describe is a mal-formed expression.  It is like
a syntax error, and is thus correctly "Indeterminate".  The second
case is a result of correctly evaluating a logical condition and
reaching a result of "false".  The fact that we specify an early
"stop" to the evaluation is, I would say, an optimization that we
have built in.

Anne

>Comment from: Haruyuki.Kawabe@unisys.co.jp
>
>When evaluating the expression (n-of N A B), 
>
>If the value of N is 3, the result is indeterminate and none of the other
>arguments
>
>are evaluated as specified in A.3.5.
>
>But if the value if N is 2 and the result of
>
>evaluating A is False, then the evaluation
>
>process SHALL be stoped (and the result is False), since the requirement of
>N(=2) True
>
>values never be satisfied whatever the
>
>result of evaluating B.
>
>The former case (i.e. only the first
>
>arguemnt is evaluated and determined that
>
>the rquirement is not satisfied) is a special
>
>case of the later case, so the former case
>
>should result to "False".