Public Comment

Comment from: 

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.)