Requirement XG2: Conceptual Model with Serializations
Requirement XG10: Ordering of Activities
Requirement RE3: Non-Characterizing Attributes
Requirement RE7: Collection vs Dictionary
Requirement VI5: Derivation is not Transitive
Requirement VI6: Optional Derivation Path
Requirement VI7: Activity Entity Disjoint
Requirement EZ2: Separate Vocabulary and Constraints
Requirement EZ3: Core and Extended Structures
Requirement EZ7: Human Readable Notation
Requirement CO3: Constraints Not Specified
Requirement CO4: Decidability of Validation
Requirement CO5: ProvRDF Mapping Out of Scope
Requirement CO7: Specialization Properties
Requirement PP1: Provenance of Provenance
Requirement OD3: Directed Qualified Relation Pattern
Requirement AQ2: Representation Independence
Requirement AQ3: By Reference and By Value