An evidence is a pair of name and its value. One combination of {name,value}
represents one evidence.
An array of evidences defines an evidences set.
Evidences sets are used to map rights contexts and processing contexts with the corresponding transformations sequences.