A public comment

[Polar Humenn <polar@syr.edu>]

Haruyuki is right on this issue. It is merely an editorial mistake. but
what do we do about it for voting and approval, etc.


Comment from: Haruyuki.Kawabe@unisys.co.jp

In
http://docs.oasis-open.org/xacml/access_control-xacml-2_0-core-spec-cd-04.pdf,
the sencond clause of Haskell notation for function all-of-all (line 4738)
should be
    all_of_all f [] ys = True
because the third clause (line 4739) conjugates with '&&' and it
terminates with the second.
If the result (right hand side) of the second clause is False, the result
of the third cluase are always False for any bag specified  as the second
argument of all_of_all.
(Note: The first argument is a boolean function.)