Seth - OK. We have options here. Preferences don't so much impact the
processing of a rule by a PDP, but the processing of a rule by a system
creating a request that will not only satisfy the PDP, but satisfy it in its
preferred manner.
You are right, we could define the existing "or" and "and" functions such
that the preferred options occur first in their contents. Or, we could
introduce new functions: "orderedOr" and "orderedAnd", and allow the
existing "or" and "and" to have the more relaxed semantic.
I have no objection to following your suggestion.
All the best. Tim.