Assertion - target or function with and without refinements

[joshcornejo]

The relationship between an asset or party part of a rule is as follows.

If the target is:

• An Asset, only applies to the referenced item
• an AssetCollection, applies to all items inside the collection
• a refined AssetCollection, applies to the subset of items that are the outcome of executing the refinement on the collection

If the function is:

• A Party, only applies to the referenced item
• a PartyCollection, applies to all items inside the collection
• a refined PartyCollection, applies to the subset of items that are the outcome of executing the refinement on the collection

Note:

The definition of the refinement for actions is different from target/function ("narrows the semantics" vs "indicate the refinement context under which to identify individual"), example 14 determines the "conditions under which odrl:print can take place", and as such, the evaluator needs to know where in state of the world to find this specific value (in example 14, that is the resolution that was/will be used).