Mercurial > hg > prov / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset
prov-n mapping for collections
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Thu, 31 May 2012 10:30:59 +0100
changeset 3115 6465f6659462
parent 3114 9bdfd1fccf8b
child 3116 340fec449f8d
prov-n mapping for collections
model/diff-n.html 
--- a/model/diff-n.html	Thu May 31 10:30:03 2012 +0100
+++ b/model/diff-n.html	Thu May 31 10:30:59 2012 +0100
@@ -14,7 +14,29 @@
 
     <style type="text/css">
       .note { font-size:small; margin-left:50px }
-     </style>
+     <span class="insert">
+table.thinborder {
+	border-width: 1px;
+	border-spacing: 0px;
+	border-style: none;
+	border-color: gray;
+	border-collapse: collapse;
+}
+table.thinborder th {
+	border-width: 1px;
+	padding: 0px;
+	border-style: solid;
+	border-color: gray;
+	-moz-border-radius: ;
+}
+table.thinborder td {
+	border-width: 1px;
+	padding: 2px;
+	border-style: solid;
+	border-color: gray;
+	-moz-border-radius: ;
+}
+</span></style>
 
      
      
@@ -943,7 +965,7 @@
 
 </style><link href="./extra.css" rel="stylesheet" type="text/css" charset="utf-8"><link href="http://www.w3.org/StyleSheets/TR/W3C-ED" rel="stylesheet" type="text/css" charset="utf-8"></head> 
   <body style="display: inherit; "><div class="head"><p><a href="http://www.w3.org/"><img width="72" height="48" src="http://www.w3.org/Icons/w3c_home" alt="W3C"></a></p><h1 class="title" id="title">PROV-N: The Provenance Notation</h1>
-<h2 id="subtitle"><span class="insert">towards second working draft (</span><a href="diff-n.html"><span class="insert">Diffs since last release</span></a><span class="insert">)</span></h2><h2 id="w3c-editor-s-draft-16-may-2012"><acronym title="World Wide Web Consortium">W3C</acronym> <span class="delete">Working</span><span class="insert">Editor's</span> Draft <span class="delete">03</span><span class="insert">16</span> May 2012</h2>
+<h2 id="subtitle"><span class="insert">towards second working draft (</span><a href="diff-n.html"><span class="insert">Diffs since last release</span></a><span class="insert">)</span></h2><h2 id="w3c-editor-s-draft-31-may-2012"><acronym title="World Wide Web Consortium">W3C</acronym> <span class="delete">Working</span><span class="insert">Editor's</span> Draft <span class="delete">03</span><span class="insert">31</span> May 2012</h2>
 <dl><dt>This<span class="insert"> version:</span></dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</span></a></dd><dt><span class="insert">Latest published version:</span></dt><dd><a href="http://www.w3.org/TR/prov-n/"><span class="insert">http://www.w3.org/TR/prov-n/</span></a></dd><dt><span class="insert">Latest editor's draft:</span></dt><dd><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html"><span class="insert">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</span></a></dd><dt><span class="insert">Previous</span> version:</dt><dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120503/">http://www.w3.org/TR/2012/WD-prov-n-20120503/</a></dd>
 <span class="delete">Latest published version:</span><span class="delete">http://www.w3.org/TR/prov-n/</span>
 <span class="delete">Latest editor's draft:</span><span class="delete">http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-n.html</span>
@@ -955,23 +977,36 @@
 
 
 <p>
-PROV-DM, the PROV data model, is a data model for provenance that describes
+PROV-DM, the PROV<span class="insert"> conceptual</span> data model, is a data model for provenance that describes
 the entities, people and activities involved in
 producing a piece of data or thing. 
-PROV-DM is structured in six components, dealing with: 
+PROV-DM <span class="insert">distinguishes core structures, forming the essence of provenance descriptions, from
+extended structures catering for more advanced uses of provenance. 
+PROV-DM </span>is <span class="delete">structured</span><span class="insert">organized</span> in six components,<span class="insert"> respectively</span> dealing with: 
 (1) entities and activities, and the time at which they were created, used, or ended;
 (2) agents bearing responsibility for entities that were generated and activities that happened;
 (3) derivations of entities from entities;
 (4) properties to link entities that refer to the same thing;
-(5) collections forming a logical structure for its members;
-(6) a simple annotation mechanism.
-</p><p>
-</p><p>To provide examples of the PROV data model, the PROV notation (PROV-N) is introduced: aimed at human consumption, PROV-N allows serializations of PROV
+(5) <span class="insert">a notion of bundle, a mechanism to support provenance of provenance; and,
+(6) </span>collections forming a logical structure for its <span class="delete">members;
+(6) a simple annotation mechanism.</span><span class="insert">members.</span>
+</p>
+
+<p>To provide examples of the PROV data model, the PROV notation (PROV-N) is introduced: aimed at human consumption, PROV-N allows serializations of PROV
 instances to be created in a compact manner. PROV-N facilitates the
 mapping of the PROV data model to concrete syntax, and is used as the basis for a
 formal semantics of PROV.  The purpose of this document is to define the PROV-N notation.
 </p>
     </div><div id="sotd" class="introductory section"><h2>Status of This Document</h2><p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current <acronym title="World Wide Web Consortium">W3C</acronym> publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/"><acronym title="World Wide Web Consortium">W3C</acronym> technical reports index</a> at http://www.w3.org/TR/.</em></p>
+<h4 id="intended-to-be-last-call--tbc"><span class="insert">Intended to be Last Call (TBC)</span></h4>
+<p><span class="insert">This is the fifth public release of the PROV-DM document. 
+Publication as Last Call working draft means that 
+the Working Group believes that it has satisfied the relevant technical requirements outlined in its charter on this document. The design is not expected to change significantly, going forward, and now is the key time for external review, before the implementation phase.</span></p>
+<h4 id="please-comment-by--date-tbd"><span class="insert">Please Comment By (date TBD)</span></h4>
+<p><span class="insert">The PROV Working group seeks public feedback on this Working Draft.
+The end date of the Last Call review period is TBD, and we would appreciate comments by that date to public-prov-comments@w3.org
+</span></p>
+
 <h4 id="prov-family-of-specifications">PROV Family of Specifications</h4>
 This document is part of the PROV family of specifications, a set of specifications defining various aspects that are necessary to achieve the vision of inter-operable
 interchange of provenance information in heterogeneous environments such as the Web.  The specifications are:
@@ -999,23 +1034,13 @@
 
 <span class="delete">First Public Working Draft</span>
  
-
-
-
-
-
-
-
-
-
-
 <p>This <span class="delete">is the first public release of the PROV-N
 document. Following feedback, the Working Group has decided to
 reorganize the PROV-DM document substantially, separating the data model,
 from its constraints, and the notation used to illustrate it. The
 PROV-N release is synchronized with the release of the PROV-DM, PROV-O,
 PROV-PRIMER, and PROV-CONSTRAINTS documents.
-</span><span class="delete">This </span>document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as <span class="delete">a First Public Working</span><span class="insert">an Editor's</span> Draft.<span class="delete"> This document is intended to become a </span><span class="delete">W3C</span><span class="delete"> Recommendation.</span> If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-wg@w3.org">public-prov-wg@w3.org</a> (<a href="mailto:public-prov-wg-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-wg/">archives</a>). All feedback is welcome.</p><p>Publication as <span class="delete">a Working</span><span class="insert">an Editor's</span> Draft does not imply endorsement by the <acronym title="World Wide Web Consortium">W3C</acronym> Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>. <acronym title="World Wide Web Consortium">W3C</acronym> maintains a <a href="http://www.w3.org/2004/01/pp-impl/46974/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>.</p></div><div id="toc" class="section"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction</a><ul class="toc"><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.1 </span>Purpose of this Document and target audience</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.2 </span>Structure of this Document</a></li><li class="tocline"><a href="#prov-dm-namespace" class="tocxref"><span class="secno">1.3 </span>Notational Conventions</a></li></ul></li><li class="tocline"><a href="#general-conventions" class="tocxref"><span class="secno">2. </span>General grammar considerations</a><ul class="toc"><li class="tocline"><a href="#functional-syntax" class="tocxref"><span class="secno">2.1 </span>Functional-style Syntax</a></li><li class="tocline"><a href="#grammar-notation" class="tocxref"><span class="secno">2.2 </span>EBNF Grammar</a></li><li class="tocline"><a href="#prov-n-optionals" class="tocxref"><span class="secno">2.3 </span>Optional terms in expressions</a></li><li class="tocline"><a href="#prov-n-standard-terms" class="tocxref"><span class="secno">2.4 </span>Identifiers and attributes</a></li></ul></li><li class="tocline"><a href="#prov-n-expressions" class="tocxref"><span class="secno">3. </span>PROV-N Productions per Component</a><ul class="toc"><li class="tocline"><a href="#component1" class="tocxref"><span class="secno">3.1 </span>Component 1: Entities and Activities</a><ul class="toc"><li class="tocline"><a href="#expression-Entity" class="tocxref"><span class="secno">3.1.1 </span>Entity</a></li><li class="tocline"><a href="#expression-Activity" class="tocxref"><span class="secno">3.1.2 </span>Activity</a></li><li class="tocline"><a href="#expression-Generation" class="tocxref"><span class="secno">3.1.3 </span>Generation</a></li><li class="tocline"><a href="#expression-Usage" class="tocxref"><span class="secno">3.1.4 </span>Usage</a></li><li class="tocline"><a href="#expression-Start" class="tocxref"><span class="secno">3.1.5 </span>Start</a></li><li class="tocline"><a href="#expression-End" class="tocxref"><span class="secno">3.1.6 </span>End</a></li><li class="tocline"><a href="#expression-Invalidation" class="tocxref"><span class="secno">3.1.7 </span>Invalidation</a></li><li class="tocline"><a href="#expression-wasInformedBy" class="tocxref"><span class="secno">3.1.8 </span>Communication</a></li><span class="delete">3.1.9 </span><span class="delete">Start by Activity</span></ul></li><li class="tocline"><a href="#component2" class="tocxref"><span class="secno">3.2 </span>Component 2: Agents and Responsibility</a><ul class="toc"><li class="tocline"><a href="#expression-Agent" class="tocxref"><span class="secno">3.2.1 </span>Agent</a></li><li class="tocline"><a href="#expression-attribution" class="tocxref"><span class="secno">3.2.2 </span>Attribution</a></li><li class="tocline"><a href="#expression-Association" class="tocxref"><span class="secno">3.2.3 </span>Association</a></li><li class="tocline"><a href="#expression-responsibility" class="tocxref"><span class="secno">3.2.4 </span>Responsibility</a></li></ul></li><li class="tocline"><a href="#component3" class="tocxref"><span class="secno">3.3 </span>Component 3: Derivations</a><ul class="toc"><li class="tocline"><a href="#Derivation-Relation" class="tocxref"><span class="secno">3.3.1 </span>Derivation</a></li><li class="tocline"><a href="#expression-Revision" class="tocxref"><span class="secno">3.3.2 </span>Revision</a></li><li class="tocline"><a href="#expression-quotation" class="tocxref"><span class="secno">3.3.3 </span>Quotation</a></li><li class="tocline"><a href="#expression-original-source" class="tocxref"><span class="secno">3.3.4 </span>Original Source</a></li><li class="tocline"><a href="#expression-trace" class="tocxref"><span class="secno">3.3.5 </span>Trace</a></li></ul></li><li class="tocline"><a href="#component4" class="tocxref"><span class="secno">3.4 </span>Component 4: Alternate Entities</a><ul class="toc"><li class="tocline"><a href="#expression-alternate" class="tocxref"><span class="secno">3.4.1 </span>Alternate</a></li><li class="tocline"><a href="#expression-specialization" class="tocxref"><span class="secno">3.4.2 </span>Specialization</a></li></ul></li><li class="tocline"><a href="#component5" class="tocxref"><span class="secno">3.5 </span>Component 5: <span class="delete">Collections</span><span class="insert">Bundles</span></a><ul class="toc"><li class="tocline"><a href="#expression-bundle-declaration" class="tocxref"><span class="secno">3.5.1 </span><span class="delete">Insertion</span><span class="insert">Bundle Declaration</span></a></li><li class="tocline"><a href="#expression-provenance-locator" class="tocxref"><span class="secno">3.5.2 </span><span class="delete">Removal</span><span class="delete">3.5.3 </span><span class="delete">Membership</span><span class="insert">Provenance Locator</span></a></li></ul></li><li class="tocline"><a href="#component6" class="tocxref"><span class="secno">3.6 </span>Component 6: <span class="delete">Annotations</span><span class="insert">Collections</span></a><ul class="toc"><li class="tocline"><a href="#expression-collection-insertion" class="tocxref"><span class="secno">3.6.1 </span><span class="delete">Note</span><span class="insert">Insertion</span></a></li><li class="tocline"><a href="#expression-collection-removal" class="tocxref"><span class="secno">3.6.2 </span><span class="delete">Annotation</span><span class="insert">Removal</span></a></li><li class="tocline"><a href="#expression-collection-membership" class="tocxref"><span class="secno"><span class="insert">3.6.3 </span></span><span class="insert">Membership</span></a></li></ul></li><li class="tocline"><a href="#subexpressions" class="tocxref"><span class="secno">3.7 </span>Further Expressions</a><ul class="toc"><li class="tocline"><a href="#expression-NamespaceDeclaration" class="tocxref"><span class="secno">3.7.1 </span>Namespace Declaration</a></li><li class="tocline"><a href="#expression-identifier" class="tocxref"><span class="secno">3.7.2 </span>Identifier</a></li><li class="tocline"><a href="#expression-attribute" class="tocxref"><span class="secno">3.7.3 </span>Attribute</a></li><li class="tocline"><a href="#expression-literal" class="tocxref"><span class="secno">3.7.4 </span>Literal</a><ul class="toc"><li class="tocline"><a href="#expression-types" class="tocxref"><span class="secno">3.7.4.1 </span>Reserved Type Values</a></li><li class="tocline"><a href="#expression-Time" class="tocxref"><span class="secno">3.7.4.2 </span>Time Values</a></li></ul></li></ul></li></ul></li><li class="tocline"><a href="#toplevelBundle" class="tocxref"><span class="secno">4. </span><span class="delete">Expression Container</span><span class="delete">5. </span><span class="delete">Account</span><span class="insert">Toplevel Bundle</span></a></li><li class="tocline"><a href="#media-type" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">5.</span> </span>Media Type</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div> 
+</span><span class="delete">This </span>document was published by the <a href="http://www.w3.org/2011/prov/">Provenance Working Group</a> as <span class="delete">a First Public Working</span><span class="insert">an Editor's</span> Draft.<span class="delete"> This document is intended to become a </span><span class="delete">W3C</span><span class="delete"> Recommendation.</span> If you wish to make comments regarding this document, please send them to <a href="mailto:public-prov-wg@w3.org">public-prov-wg@w3.org</a> (<a href="mailto:public-prov-wg-request@w3.org?subject=subscribe">subscribe</a>, <a href="http://lists.w3.org/Archives/Public/public-prov-wg/">archives</a>). All feedback is welcome.</p><p>Publication as <span class="delete">a Working</span><span class="insert">an Editor's</span> Draft does not imply endorsement by the <acronym title="World Wide Web Consortium">W3C</acronym> Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</p><p>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>. <acronym title="World Wide Web Consortium">W3C</acronym> maintains a <a href="http://www.w3.org/2004/01/pp-impl/46974/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure">section 6 of the <acronym title="World Wide Web Consortium">W3C</acronym> Patent Policy</a>.</p></div><div id="toc" class="section"><h2 class="introductory">Table of Contents</h2><ul class="toc"><li class="tocline"><a href="#introduction" class="tocxref"><span class="secno">1. </span>Introduction</a><ul class="toc"><li class="tocline"><a href="#purpose" class="tocxref"><span class="secno">1.1 </span>Purpose of this Document and target audience</a></li><li class="tocline"><a href="#structure-of-this-document" class="tocxref"><span class="secno">1.2 </span>Structure of this Document</a></li><li class="tocline"><a href="#notational-conventions" class="tocxref"><span class="secno">1.3 </span>Notational Conventions</a></li></ul></li><li class="tocline"><a href="#general-conventions" class="tocxref"><span class="secno">2. </span>General grammar considerations</a><ul class="toc"><li class="tocline"><a href="#functional-syntax" class="tocxref"><span class="secno">2.1 </span>Functional-style Syntax</a></li><li class="tocline"><a href="#grammar-notation" class="tocxref"><span class="secno">2.2 </span>EBNF Grammar</a></li><li class="tocline"><a href="#prov-n-optionals" class="tocxref"><span class="secno">2.3 </span>Optional terms in expressions</a></li><li class="tocline"><a href="#prov-n-standard-terms" class="tocxref"><span class="secno">2.4 </span>Identifiers and attributes</a></li><li class="tocline"><a href="#comments" class="tocxref"><span class="secno"><span class="insert">2.5 </span></span><span class="insert">Comments</span></a></li></ul></li><li class="tocline"><a href="#prov-n-expressions" class="tocxref"><span class="secno">3. </span>PROV-N Productions per Component</a><ul class="toc"><li class="tocline"><a href="#component1" class="tocxref"><span class="secno">3.1 </span>Component 1: Entities and Activities</a><ul class="toc"><li class="tocline"><a href="#expression-Entity" class="tocxref"><span class="secno">3.1.1 </span>Entity</a></li><li class="tocline"><a href="#expression-Activity" class="tocxref"><span class="secno">3.1.2 </span>Activity</a></li><li class="tocline"><a href="#expression-Generation" class="tocxref"><span class="secno">3.1.3 </span>Generation</a></li><li class="tocline"><a href="#expression-Usage" class="tocxref"><span class="secno">3.1.4 </span>Usage</a></li><li class="tocline"><a href="#expression-wasInformedBy" class="tocxref"><span class="secno"><span class="insert">3.1.5 </span></span><span class="insert">Communication</span></a></li><li class="tocline"><a href="#expression-Start" class="tocxref"><span class="secno"><span class="delete">3.1.5</span><span class="insert">3.1.6</span> </span>Start</a></li><li class="tocline"><a href="#expression-End" class="tocxref"><span class="secno"><span class="delete">3.1.6</span><span class="insert">3.1.7</span> </span>End</a></li><li class="tocline"><a href="#expression-Invalidation" class="tocxref"><span class="secno"><span class="delete">3.1.7</span><span class="insert">3.1.8</span> </span>Invalidation<span class="delete">3.1.8 </span><span class="delete">Communication</span><span class="delete">3.1.9 </span><span class="delete">Start by Activity</span></a></li></ul></li><li class="tocline"><a href="#component2" class="tocxref"><span class="secno">3.2 </span>Component 2: <span class="delete">Agents and Responsibility</span><span class="insert">Derivations</span></a><ul class="toc"><li class="tocline"><a href="#Derivation-Relation" class="tocxref"><span class="secno">3.2.1 </span><span class="delete">Agent</span><span class="insert">Derivation</span></a></li><li class="tocline"><a href="#expression-Revision" class="tocxref"><span class="secno">3.2.2 </span><span class="delete">Attribution</span><span class="insert">Revision</span></a></li><li class="tocline"><a href="#expression-quotation" class="tocxref"><span class="secno">3.2.3 </span><span class="delete">Association</span><span class="insert">Quotation</span></a></li><li class="tocline"><a href="#expression-original-source" class="tocxref"><span class="secno">3.2.4 </span><span class="delete">Responsibility</span><span class="insert">Original Source</span></a></li></ul></li><li class="tocline"><a href="#component3" class="tocxref"><span class="secno">3.3 </span>Component 3: <span class="delete">Derivations</span><span class="insert">Agents and Responsibility</span></a><ul class="toc"><li class="tocline"><a href="#expression-Agent" class="tocxref"><span class="secno">3.3.1 </span><span class="delete">Derivation</span><span class="insert">Agent</span></a></li><li class="tocline"><a href="#expression-attribution" class="tocxref"><span class="secno">3.3.2 </span><span class="delete">Revision</span><span class="insert">Attribution</span></a></li><li class="tocline"><a href="#expression-Association" class="tocxref"><span class="secno">3.3.3 </span><span class="delete">Quotation</span><span class="insert">Association</span></a></li><li class="tocline"><a href="#expression-delegation" class="tocxref"><span class="secno">3.3.4 </span><span class="delete">Original Source</span><span class="insert">Delegation</span></a></li><li class="tocline"><a href="#expression-trace" class="tocxref"><span class="secno">3.3.5 </span>Trace</a></li></ul></li><li class="tocline"><a href="#component4" class="tocxref"><span class="secno">3.4 </span>Component 4: Alternate Entities</a><ul class="toc"><li class="tocline"><a href="#expression-alternate" class="tocxref"><span class="secno">3.4.1 </span>Alternate</a></li><li class="tocline"><a href="#expression-specialization" class="tocxref"><span class="secno">3.4.2 </span>Specialization</a></li></ul></li><li class="tocline"><a href="#component5" class="tocxref"><span class="secno">3.5 </span>Component 5: <span class="delete">Collections</span><span class="insert">Bundles</span></a><ul class="toc"><li class="tocline"><a href="#expression-bundle-declaration" class="tocxref"><span class="secno">3.5.1 </span><span class="delete">Insertion</span><span class="insert">Bundle Declaration</span></a></li><li class="tocline"><a href="#expression-provenance-locator" class="tocxref"><span class="secno">3.5.2 </span><span class="delete">Removal</span><span class="delete">3.5.3 </span><span class="delete">Membership</span><span class="insert">Provenance Locator</span></a></li></ul></li><li class="tocline"><a href="#component6" class="tocxref"><span class="secno">3.6 </span>Component 6: <span class="delete">Annotations</span><span class="insert">Collections</span></a><ul class="toc"><li class="tocline"><a href="#expression-collection-insertion" class="tocxref"><span class="secno">3.6.1 </span><span class="delete">Note</span><span class="insert">Insertion</span></a></li><li class="tocline"><a href="#expression-collection-removal" class="tocxref"><span class="secno">3.6.2 </span><span class="delete">Annotation</span><span class="insert">Removal</span></a></li><li class="tocline"><a href="#expression-collection-membership" class="tocxref"><span class="secno"><span class="insert">3.6.3 </span></span><span class="insert">Membership</span></a></li></ul></li><li class="tocline"><a href="#subexpressions" class="tocxref"><span class="secno">3.7 </span>Further Expressions</a><ul class="toc"><li class="tocline"><a href="#expression-NamespaceDeclaration" class="tocxref"><span class="secno">3.7.1 </span>Namespace Declaration</a></li><li class="tocline"><a href="#expression-identifier" class="tocxref"><span class="secno">3.7.2 </span>Identifier</a></li><li class="tocline"><a href="#expression-attribute" class="tocxref"><span class="secno">3.7.3 </span>Attribute</a></li><li class="tocline"><a href="#expression-literal" class="tocxref"><span class="secno">3.7.4 </span>Literal</a><ul class="toc"><li class="tocline"><a href="#expression-types" class="tocxref"><span class="secno">3.7.4.1 </span>Reserved Type Values</a></li><li class="tocline"><a href="#expression-Time" class="tocxref"><span class="secno">3.7.4.2 </span>Time Values</a></li></ul></li></ul></li></ul></li><li class="tocline"><a href="#toplevelBundle" class="tocxref"><span class="secno">4. </span><span class="delete">Expression Container</span><span class="delete">5. </span><span class="delete">Account</span><span class="insert">Toplevel Bundle</span></a></li><li class="tocline"><a href="#media-type" class="tocxref"><span class="secno"><span class="delete">6.</span><span class="insert">5.</span> </span>Media Type</a></li><li class="tocline"><a href="#acknowledgements" class="tocxref"><span class="secno">A. </span>Acknowledgements</a></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">B. </span>References</a><ul class="toc"><li class="tocline"><a href="#normative-references" class="tocxref"><span class="secno">B.1 </span>Normative references</a></li><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">B.2 </span>Informative references</a></li></ul></li></ul></div> 
 
 
 
@@ -1033,7 +1058,7 @@
 <div id="introduction" class="section"> 
 <h2><span class="secno">1. </span>Introduction</h2>
 
-<p> Provenance is defined as a record that describes the people,
+<p> Provenance is<span class="delete"> defined as</span> a record that describes the people,
 institutions, entities, and activities, involved in producing,
 influencing, or delivering a piece of data or a thing in the world.  Two
 companion specifications respectively define PROV-DM, a data model for
@@ -1069,7 +1094,7 @@
 </p><ul>
 <li>Developers of provenance management applications, as well as implementors of new PROV data model encodings, and thus in particular of PROV-N parsers. These readers may be interested in the entire structure of the grammar, starting from the top level nonterminal <span class="delete">container</span> 
 <a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a>.</li>
-<li>Readers of the  [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>] and of  [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-CONSTRAINTS">PROV-CONSTRAINTS</a></cite>] documents, who are interested in the details of the formal language underpinning the notation used in the examples and in the definition of the constraints. Those readers may find the  <a href="#grammar-notation">expression</a> nonterminal a useful entry point into the grammar.</li>
+<li>Readers of the  [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-DM">PROV-DM</a></cite>] and of  [<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-CONSTRAINTS">PROV-CONSTRAINTS</a></cite>] documents, who are interested in the details of the formal language underpinning the notation used in the examples and in the definition of the constraints. Those readers may find the  <a class="grammarRef" href="#prod-expression">expression</a> nonterminal a useful entry point into the grammar.</li>
 </ul>
 
 </div>
@@ -1077,30 +1102,32 @@
     <div id="structure-of-this-document" class="section"> 
 <h3><span class="secno">1.2 </span>Structure of this Document</h3>
 
-<p>This document defines a grammar using the Extended  Backus-Naur Form (EBNF) notation. Its productions correspond to PROV data model types and relations.
-</p>
+<p>This document <span class="delete">defines a grammar using the Extended  Backus-Naur Form (EBNF) notation. Its productions correspond to PROV data model types and relations.
+</span><span class="insert">structured as follows.
+
+</span></p><span class="delete">
 It is structured as follows.
 
-<p><a href="#general-conventions">Section 2</a> provides the design rationale for the PROV Notation.</p>
-
-<p><a href="#grammar-notation">Section 3</a> defines the notation for the Extended  Backus-Naur Form (EBNF) grammar used in this specification.</p>
-
-<p><a href="#prov-n-expressions">Section 4</a> presents the grammar of all expressions of the language grouped according to the PROV data model components.</p>
-
-<p><a href="#toplevelBundle">Section 5</a> defines the grammar of <span class="delete">containers,</span><span class="insert">toplevel bundles,</span> a house-keeping construct of PROV-N capable of packaging up PROV-N expressions and namespace declarations.</p>
+</span><p><a href="#general-conventions">Section 2</a> provides <span class="delete">the design rationale for the PROV Notation.</span>
+
+<span class="delete">Section 3</span><span class="delete"> defines the notation for the Extended  Backus-Naur Form (EBNF) grammar used in this specification.</span><span class="insert">general consideration about the PROV-N grammar.</span></p>
+
+<p><a href="#prov-n-expressions">Section <span class="delete">4</span><span class="insert">3</span></a> presents the grammar of all expressions of the language grouped according to the PROV data model components.</p>
+
+<p><a href="#toplevelBundle">Section <span class="delete">5</span><span class="insert">4</span></a> defines the grammar of <span class="delete">containers,</span><span class="insert">toplevel bundles,</span> a house-keeping construct of PROV-N capable of packaging up PROV-N expressions and namespace declarations.</p>
 
 <span class="delete">Section 6</span><span class="delete"> defines the grammar of accounts.</span>
 
 
 
 
-<p><a href="#media-type">Section <span class="delete">7</span><span class="insert">6</span></a> defines media type for the PROV-N notation.</p>
+<p><a href="#media-type">Section <span class="delete">7</span><span class="insert">5</span></a> defines media type for the PROV-N notation.</p>
 
 
     </div> 
 
 
-<div id="prov-dm-namespace" class="section">
+<div id="notational-conventions" class="section">
  <h3><span class="secno">1.3 </span>Notational Conventions</h3>
 
 
@@ -1140,16 +1167,16 @@
 
 <p> PROV-N adopts a functional-style syntax consisting of a predicate name and an ordered list of terms.
 All PROV data model relations involve two primary elements, the <em>subject</em> and the <em>object</em>, in this order. Furthermore, some expressions also admit additional elements that further characterize it.
-</p><div class="anexample">
+</p><div class="anexample" count="1">
 The following expression should be read as "<span class="name">e2</span> was derived from <span class="name">e1</span>". Here <span class="name">e2</span> is the subject, and  <span class="name">e1</span> is the object.
 <pre class="codeexample">wasDerivedFrom(e2, e1)
 </pre>
   </div>
   
-<div class="anexample">
-In the following expressions, the optional activity <span class="name">a</span> along with the generation and usage identifiers, and timestamps have been added to further qualify the derivation:
-<pre class="codeexample">wasDerivedFrom(e2, e1, a, g2, u1)
-activity(a2, 2011-11-16T16:00:00, 2011-11-16T16:00:01)
+<div class="anexample" count="2">
+In the following expressions, the optional activity <span class="name">a</span> along with the generation and usage <span class="delete">identifiers,</span><span class="insert">identifiers </span><span class="name"><span class="insert">g2</span></span> and <span class="delete">timestamps have been added to further qualify the derivation:</span><span class="name"><span class="insert">u1</span></span><span class="insert">:</span>
+<pre class="codeexample">wasDerivedFrom(e2, e1, a, g2, u1)<span class="delete">
+activity(a2, 2011-11-16T16:00:00, 2011-11-16T16:00:01)</span>
 </pre>
 </div>
 
@@ -1194,7 +1221,7 @@
 </ul>
 </div>
 
-The grammar is centered on nonterminals for various types of <span class="nonterminal">expression</span>. The main production is introduced here below as it reflects the rationale for the design of the entire grammar. Note that parser developers may use the top level <span class="delete">container</span>
+The grammar is centered on nonterminals for various types of <a class="grammarRef" href="#prod-expression">expression</a>. The main production is introduced here below as it reflects the rationale for the design of the entire grammar. Note that parser developers may use the top level <span class="delete">container</span>
 <a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a>  nonterminal as a starting point instead.
 
 
@@ -1234,12 +1261,12 @@
 &nbsp;&nbsp;| </span><span class="prod"><a class="grammarRef" href="#prod-agentExpression">agentExpression
 </a></span> | <span class="prod"><a class="grammarRef" href="#prod-associationExpression"><span class="insert">associationExpression</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-attributionExpression">attributionExpression 
 </a></span> | <span class="delete">associationExpression</span> 
-<span class="prod"><a class="grammarRef" href="#prod-responsibilityExpression"><span class="insert">responsibilityExpression</span></a></span> | <span class="delete">responsibilityExpression</span> 
+<span class="prod"><a class="grammarRef" href="#prod-delegationExpression"><span class="insert">delegationExpression</span></a></span> | <span class="delete">responsibilityExpression</span> 
 <span class="delete">
 
 &nbsp;&nbsp;| </span><span class="prod"><a class="grammarRef" href="#prod-derivationExpression">derivationExpression 
-</a></span> | <span class="prod"><a class="grammarRef" href="#prod-tracedToExpression"><span class="insert">tracedToExpression</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-hadOriginalSourceExpression"><span class="insert">hadOriginalSourceExpression</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-quotationExpression"><span class="insert">quotationExpression</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-revisionExpression">revisionExpression 
-</a></span> | <span class="delete">quotationExpression</span> <span class="delete">
+</a></span> | <span class="delete">revisionExpression</span> 
+<span class="prod"><a class="grammarRef" href="#prod-tracedToExpression"><span class="insert">tracedToExpression</span></a></span> | <span class="delete">quotationExpression</span> <span class="delete">
 &nbsp;&nbsp;| </span><span class="delete">hadOriginalSourceExpression</span> 
 <span class="prod"><a class="grammarRef" href="#prod-alternateExpression"><span class="insert">alternateExpression</span></a></span> | <span class="delete">traceExpression</span> 
 <span class="delete">
@@ -1257,8 +1284,8 @@
 
 
 
-Each expression non-terminal <span class="nonterminal">expression</span>, i.e.,  <span class="nonterminal">entityExpression</span>, <span class="nonterminal">activityExpression</span> etc., corresponds to one element (entity, activity, etc.) of the PROV data model.
-<p>A PROV-N document consists of a collection of <a title="expression">expressions</a>, wrapped in an <span class="delete">expression container</span><a href="#dfn-toplevel-bundle" class="internalDFN"><span class="insert">toplevel bundle</span></a> with some namespace declarations, such that the text for an element matches the corresponding <span class="nonterminal">expression</span> production of the grammar.
+Each expression non-terminal <a class="grammarRef" href="#prod-expression">expression</a>, i.e., <a class="grammarRef" href="#prod-entityExpression"><span class="insert">entityExpression</span></a><span class="insert">,</span>  <span class="delete">entityExpression</span><span class="delete">, </span><a class="grammarRef" href="#prod-activityExpression">activityExpression</a> etc., corresponds to one element (entity, activity, etc.) of the PROV data model.
+<p>A PROV-N document consists of a collection of <a title="expression">expressions</a>, wrapped in <span class="insert">a </span><a class="grammarRef" href="#prod-bundle"><span class="insert">toplevel bundle</span></a><span class="insert"> with some namespace declarations, such that the text for </span>an <span class="insert">element matches the corresponding </span><a class="grammarRef" href="#prod-expression">expression<span class="delete"> container</span><span class="delete"> with some namespace declarations, such that the text for an element matches the corresponding </span><span class="delete">expression</span></a> production of the grammar.
 
 </p></div>
 
@@ -1268,14 +1295,14 @@
 
 Some terms in an expression may be optional. For example:
 
-<div class="anexample">
+<div class="anexample" count="3">
 <pre class="codeexample">wasDerivedFrom(e2, e1, a, g2, u1)
 wasDerivedFrom(e2, e1)
 </pre>
 In a derivation expression, the activity, generation, and usage are optional terms. They are specified in the first derivation, but not in the second.
 </div>
 
-<div class="anexample">
+<div class="anexample" count="4">
 <pre class="codeexample">activity(a2, 2011-11-16T16:00:00, 2011-11-16T16:00:01)
 activity(a1)
 </pre>
@@ -1285,16 +1312,18 @@
 <p>The general rule for optionals is that, if <em>none</em> of the optionals are used in the expression, then they are simply omitted, resulting in a simpler expression as in the examples above.</p>
 However, it may be the case that only some of the optional terms are omitted. Because the position of the terms in the expression matters, an additional marker must be used to indicate that a particular term is not available. The symbol  <span class="name"><span class="delete">-</span><span class="insert">'-'</span></span> is used for this purpose.
 
-<div class="anexample">
-<p>In the first expression below, all optionals are specified. However in the second, only the last one is specified, forcing the use of the marker for the missing terms. In the last, no marker is necessary because all <em>remaining</em> optionals after <span class="name">a</span> are missing.
+<div class="anexample" count="5">
+<p>In the first expression below, all optionals are specified. However in the <span class="delete">second,</span><span class="insert">second and third,</span> only <span class="delete">the last </span>one <span class="insert">optional </span>is specified, forcing the use of the marker for the missing terms.<span class="delete"> In the last, no marker is necessary because all </span><span class="delete">remaining</span><span class="delete"> optionals after </span><span class="delete">a</span><span class="delete"> are missing.
+
+</span> 
 
 </p><pre class="codeexample">wasDerivedFrom(e2, e1, a, g2, u1)
 wasDerivedFrom(e2, e1, -, -, u1)
-wasDerivedFrom(e2, e1, a)
+wasDerivedFrom(e2, e1, <span class="delete">a)</span><span class="insert">a, -, -)</span>
 </pre>
 </div>
 Note that the more succinct form is just shorthand for a complete expression with all the markers specified:
-<div class="anexample">
+<div class="anexample" count="6">
 <pre class="codeexample">activity(a1)
 activity(a1, -, -)
 </pre>
@@ -1306,10 +1335,10 @@
 <div id="prov-n-standard-terms" class="section"> 
 <h3><span class="secno">2.4 </span>Identifiers and attributes</h3>
 
-<p>Most expressions defined in the grammar include the use of two terms: an identifier for the predicate, and a set of attribute-value pairs, delimited by square brackets. <span class="delete">Both</span><span class="insert">Identifiers</span> are optional <span class="delete">(unless specified otherwise).</span><span class="insert">except for Entities, Activites, and Agents. Identifiers are always the first term in any expression.</span> By convention, <span class="delete">the</span><span class="insert">optional identifiers are separated using a semi-colon ';'. This makes it possible to completely omit an optional</span> identifier <span class="insert">with no ambiguity arising. Also, if the set of attribute-value pairs </span>is <span class="insert">present, it is always the last term in any expression.</span></p>
-
-<div class="anexample">
-<p><span class="insert">Derivation has an optional identifier. In </span>the first <span class="delete">term</span><span class="insert">expression, the identifier is not available, while it is explicit</span> in <span class="delete">any expression, and the  set of attribute-value pairs is the last. </span><span class="delete">
+<p>Most expressions defined in the grammar include the use of two terms: an identifier <span class="insert">and a set of attribute-value pairs, delimited by square brackets. Identifiers are optional except </span>for <span class="delete">the predicate,</span><span class="insert">Entities, Activites,</span> and <span class="insert">Agents. Identifiers are always the first term in any expression. By convention, optional identifiers are separated using </span>a <span class="insert">semi-colon ';'. This makes it possible to completely omit an optional identifier with no ambiguity arising. Also, if the </span>set of attribute-value <span class="delete">pairs, delimited by square brackets. Both are</span><span class="insert">pairs is present, it is always the last term in any expression.</span></p>
+
+<div class="anexample" count="7">
+<p><span class="insert">Derivation has an</span> optional <span class="delete">(unless specified otherwise). By convention,</span><span class="insert">identifier. In the first expression,</span> the identifier is <span class="delete">the first term</span><span class="insert">not available, while it is explicit</span> in <span class="delete">any expression, and the  set of attribute-value pairs is the last. </span><span class="delete">
 Consistent with the convention on optional terms, the  '</span><span class="insert">the second. The third example shows that one can optionally indicate the missing identifier using the </span><span class="name">-</span><span class="delete">' marker can be used when the identifier is not available. Additionally, the grammar rules are defined in such a way that the optional identifier can be omitted altogether with no ambiguity arising.
 
 </span>
@@ -1325,7 +1354,7 @@
 
 
 
-</span><div class="anexample">
+</span><div class="anexample" count="8">
 <p>The first <span class="delete">activity does not</span><span class="insert">and second activities</span> have <span class="delete">any</span><span class="insert">no</span> attributes.<span class="delete"> The second has an empty list of attributes. </span>
 
 The third activity  has two attributes. 
@@ -1337,14 +1366,30 @@
 
 </div>
 
+<div id="comments" class="section">
+<h3><span class="secno"><span class="insert">2.5 </span></span><span class="insert">Comments</span></h3><span class="insert">
+
+
+Comments in PROV-N take two forms:
+</span><ul>
+<li><span class="insert"> '//'  outside an </span><code class="content"><a class="grammarRef" href="#prod-IRI_REF"><span class="insert">IRI_REF</span></a></code><span class="insert"> or </span><code class="content"><a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a></code><span class="insert">; such cooments continue to the end of line (marked by characters U+000D or U+000A) or end of file if there is no end of line after the comment marker. 
+
+</span></li><li><span class="insert"> '/*' ... '*/', outside an </span><code class="content"><a class="grammarRef" href="#prod-IRI_REF"><span class="insert">IRI_REF</span></a></code><span class="insert"> or </span><code class="content"><a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a></code><span class="insert">.
+</span></li></ul>
+<p><span class="insert">Comments are treated as white space.</span></p>
+
+</div>
+
 </div>
 
 <div id="prov-n-expressions" class="section"> 
 <h2><span class="secno">3. </span>PROV-N Productions per Component</h2>
 
-This section  introduces grammar productions for each expression, followed by small examples illustrating the use of expressions in PROV-N. Strings conforming to the grammar are valid expressions in the PROV-N language.<p>
-
-</p><div id="component1" class="section"> 
+<p>This section  introduces grammar productions for each expression, followed by small examples <span class="insert">of expressions </span>illustrating the <span class="delete">use of</span><span class="insert">grammar. Strings conforming to the grammar are valid</span> expressions in <span class="delete">PROV-N. Strings conforming to the grammar are valid expressions in </span>the PROV-N language.
+
+</p>
+
+<div id="component1" class="section"> 
 <h3><span class="secno">3.1 </span>Component 1: Entities and Activities</h3>
 
 <div id="expression-Entity" class="section"> 
@@ -1363,11 +1408,16 @@
 </table>
 
 
-
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Entity maps to a non-terminal.</span></p>
 <span class="delete">entityExpression</span><span class="delete">&nbsp;::=  
 </span><span class="delete">entity</span>
 <span class="delete">(</span>
-<span class="delete">identifier</span>
+
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Entity</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#entity.id"><span class="attribute" id="entity.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-identifier">identifier
 <span class="delete">optional-attribute-values</span>
 <span class="delete">)</span>
 
@@ -1385,18 +1435,24 @@
 </span><span class="delete">attribute</span>
 <span class="delete">=</span>
 <span class="delete">Literal</span>
-
-
-
-
-<div class="anexample">
+</a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#entity.attributes"><span class="attribute" id="entity.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+
+
+<div class="anexample" count="9">
 <pre class="codeexample">entity(tr:WD-prov-dm-20111215, [ prov:type="document" ])
 </pre>
   Here <span class="name">tr:WD-prov-dm-20111215</span> is the <span class="delete">optional </span>entity identifier, and <span class="name">[ prov:type="document" ]</span> groups the optional <span class="delete">attributes </span><span class="insert">attributes, only one in this example,  </span>with their values.
   <pre class="codeexample">
 entity(tr:WD-prov-dm-20111215)
 </pre>
-Here the optional attributes are not used.
+<span class="delete">Here</span><span class="insert">Here,</span> the optional attributes are <span class="delete">not used.</span><span class="insert">absent.</span>
 </div>
 
 
@@ -1415,19 +1471,39 @@
 <tbody class="prod"> <tr valign="baseline"> <td><a id="prod-activityExpression" name="prod-activityExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">7</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">activityExpression<span class="delete">&nbsp;::=  
 </span><span class="delete">activity</span>
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"activity" "(" </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span> (
-<span class="delete">identifier</span>
-<span class="delete">,</span>
 <span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-timeOrMarker" name="prod-timeOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">8</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">timeOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content">( <span class="prod"><a class="grammarRef" href="#prod-time">time</a></span> | <span class="delete">-</span><span class="insert">"-"</span> )
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-timeOrMarker" name="prod-timeOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">8</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">timeOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-time"><span class="insert">time</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
+</table>
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Activity maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Activity</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#activity.id"><span class="attribute" id="activity.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-identifier">identifier
 <span class="delete">,</span><span class="delete">
+(</span><span class="delete">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
+</span><span class="delete">,</span><span class="delete">
 (</span><span class="delete">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )</span>
 <span class="delete">optional-attribute-values</span>
-<span class="delete">)</span>
-</code></td> </tr> </tbody>
-</table>
-
-
-<div class="anexample">
+<span class="delete">)</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#activity.startTime"><span class="attribute" id="activity.startTime"><span class="insert">startTime</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#activity.endTime"><span class="attribute" id="activity.endTime"><span class="insert">endTime</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></code></td></tr>
+
+
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#activity.attributes"><span class="attribute" id="activity.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+
+
+<div class="anexample" count="10">
 <pre class="codeexample">activity(ex:a10, 2011-11-16T16:00:00, 2011-11-16T16:00:01, [prov:type="createFile"])
 </pre>
 <p>Here <span class="name">ex:a10</span> is the<span class="delete"> optional </span>  activity identifier, <span class="name">2011-11-16T16:00:00</span> and <span class="name">2011-11-16T16:00:01</span> are the optional start and end times for the activity, and <span class="name">[prov:type="createFile"]</span> are optional attributes. </p>
@@ -1463,18 +1539,35 @@
 <span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
 <tbody class="prod"> <tr valign="baseline"> <td><a id="prod-optionalIdentifier" name="prod-optionalIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">10</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">optionalIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content">( <span class="prod"><a class="grammarRef" href="#prod-identifierOrMarker"><span class="insert">identifierOrMarker</span></a></span><span class="insert"> ";" )?</span></code></td> </tr> </tbody>
 <tbody class="prod"> <tr valign="baseline"> <td><a id="prod-identifierOrMarker" name="prod-identifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">11</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">identifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-identifier">identifier</a></span> | <span class="delete">-</span><span class="insert">"-"</span> ) <span class="delete">,</span> 
-<span class="delete">eIdentifier</span>
-<span class="delete">,</span><span class="delete">
-( </span><span class="delete">aIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
-</span><span class="delete">,</span><span class="delete"> ( </span><span class="delete">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
-</span><span class="delete">optional-attribute-values</span>
-<span class="delete">)</span>
-
 </code></td> </tr> </tbody>
 
 </table>
 
-<div class="anexample">
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Generation maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Generation</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#generation.id"><span class="attribute" id="generation.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#generation.entity"><span class="attribute" id="generation.entity"><span class="insert">entity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
+<span class="delete">,</span><span class="delete">
+( </span><span class="delete">aIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
+</span><span class="delete">,</span><span class="delete"> ( </span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#generation.activity"><span class="attribute" id="generation.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#generation.time"><span class="attribute" id="generation.time">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
+</span><span class="delete">optional-attribute-values</span>
+<span class="delete">)</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#generation.attributes"><span class="attribute" id="generation.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+
+<div class="anexample" count="11">
 
 <pre class="codeexample"><span class="delete">wasGeneratedBy(ex:g1,</span><span class="insert">wasGeneratedBy(ex:g1;</span> tr:WD-prov-dm-20111215, ex:edit1, 2011-11-16T16:00:00,  [ex:fct="save"])
 </pre>
@@ -1482,17 +1575,19 @@
   <span class="name">ex:edit1</span> is the optional identifier of the generating activity, <span class="name">2011-11-16T16:00:00</span> is the optional generation time, and <span class="name"> [ex:fct="save"]</span> are optional attributes. </p>
 The remaining examples show cases where some of the optionals are omitted.
   
-<pre class="codeexample">wasGeneratedBy(tr:WD-prov-dm-20111215, <span class="delete">ex:edit1, -)</span><span class="insert">ex:edit1)</span>
-wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1, 2011-11-16T16:00:00)
+<pre class="codeexample"><span class="delete">wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1, -)
+wasGeneratedBy(tr:WD-prov-dm-20111215,</span><span class="insert">wasGeneratedBy(e2, a1, tr:WD-prov-dm-20111215)
+wasGeneratedBy(e,</span> ex:edit1, 2011-11-16T16:00:00)
 wasGeneratedBy(e2, a1, -, [ex:fct="save"])     
-wasGeneratedBy(e2, -, -, [ex:fct="save"])     
-<span class="delete">wasGeneratedBy(ex:g1,</span><span class="insert">wasGeneratedBy(ex:g1;</span> tr:WD-prov-dm-20111215, <span class="delete">ex:edit1, -)
-wasGeneratedBy(-, tr:WD-prov-dm-20111215, ex:edit1, -)</span><span class="insert">ex:edit1)</span>
+wasGeneratedBy(e2, <span class="delete">-, -, </span>[ex:fct="save"])     
+<span class="delete">wasGeneratedBy(ex:g1, tr:WD-prov-dm-20111215, ex:edit1, -)
+wasGeneratedBy(-, tr:WD-prov-dm-20111215, ex:edit1, -)</span><span class="insert">wasGeneratedBy(ex:g1; e)
+wasGeneratedBy(ex:g1; e, a, tr:WD-prov-dm-20111215)</span>
 </pre>
 </div>
 
-<p>Even though the production <span class="nonterminal">generationExpression</span> allows for expressions <span class="name">wasGeneratedBy(e2, -, -)</span>  and <span class="name">wasGeneratedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N, since 
-at least  one of <span class="attribute">activity</span>, <span class="attribute">time</span>, or  <span class="attribute">attributes</span>  <em class="rfc2119" title="must">must</em> be present.</p>
+<p>Even though the production <code class="content"><a class="grammarRef" href="#prod-generationExpression">generationExpression</a></code> allows for expressions <span class="name">wasGeneratedBy(e2, -, -)</span>  and <span class="name"><span class="delete">wasGeneratedBy(-,</span><span class="insert">wasGeneratedBy(-;</span> e2, -, -)</span>, these expressions are not valid in PROV-N, since 
+ at least<span class="insert"> one</span>  <span class="delete">one </span>of <a href="http://www.w3.org/TR/prov-dm/#generation.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#generation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/prov-dm/#generation.time"><span class="attribute">time</span></a>, <span class="delete">or</span><span class="insert">and</span>  <a href="http://www.w3.org/TR/prov-dm/#generation.attributes"><span class="attribute">attributes</span>  </a> <em class="rfc2119" title="must">must</em> be present.</p>
 
 
 
@@ -1505,35 +1600,45 @@
 <div id="expression-Usage" class="section">
 <h4><span class="secno">3.1.4 </span>Usage</h4>
 
-<div class="grammar">
-<span class="nonterminal">usageExpression</span>&nbsp;::=  
-<span class="name">used</span>
-<span class="name">(</span>
-<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name"><span class="delete">,</span><span class="insert">;</span></span> </span>
-<span class="nonterminal">aIdentifier</span><span class="insert"> (</span>
-<span class="name">,</span>
-<span class="insert">( </span><span class="nonterminal">eIdentifier</span><span class="insert"> )</span>
-<span class="name">,</span> ( <span class="nonterminal">time</span> | <span class="name">-</span> <span class="delete">) 
-</span><span class="insert">))?
-</span><span class="nonterminal">optional-attribute-values</span>
-<span class="name">)</span><br>
-</div>
+
 
 
 
 
 <table class="grammar">
 
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-usageExpression" name="prod-usageExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">12</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">usageExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"used" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> ( "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-usageExpression" name="prod-usageExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">12</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">usageExpression<span class="delete">&nbsp;::=  
+</span><span class="delete">used</span>
+</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"used" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span><span class="insert"> "," </span>(
+<span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
+<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
 </table>
 
-<div class="note"><span class="insert">should this: 	usageExpression	   ::=   	"used" "(" optionalIdentifier aIdentifier "," eIdentifier ( "," timeOrMarker )? optionalAttributeValuePairs ")"  </span><br><span class="insert">
- be:  	usageExpression	   ::=   	"used" "(" optionalIdentifier aIdentifier ( "," eIdentifier  "," timeOrMarker )? optionalAttributeValuePairs ")"   ?
-</span></div>
-
-
-
-<div class="anexample">
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Usage maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Usage</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#usage.id"><span class="attribute" id="usage.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#usage.activity"><span class="attribute" id="usage.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier
+<span class="delete">,</span>
+<span class="delete">eIdentifier</span>
+<span class="delete">,</span><span class="delete"> ( </span></a></code></td></tr><tr><td><a href="http://www.w3.org/TR/prov-dm/#usage.entity"><span class="attribute" id="usage.entity"><span class="insert">entity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#usage.time"><span class="attribute" id="usage.time">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) 
+</span><span class="delete">optional-attribute-values</span>
+<span class="delete">)</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#usage.attributes"><span class="attribute" id="usage.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+<div class="anexample" count="12">
   
 <pre class="codeexample"><span class="delete">used(ex:u1,</span><span class="insert">used(ex:u1;</span> ex:act2, ar3:0111, 2011-11-16T16:00:00, [ex:fct="load"])
  </pre>
@@ -1542,21 +1647,70 @@
  <span class="name">2011-11-16T16:00:00</span> is the optional usage time, and <span class="name"> [ex:fct="load"]</span> are optional attributes.</p>
 The remaining examples show cases where some of the optionals are omitted.
 
-  <pre class="codeexample">used(ex:act2, <span class="insert">ar3:0111)
-used(ex:act2, </span>ar3:0111, <span class="delete">-)
+  <pre class="codeexample"><span class="insert">used(ex:act2)
+</span>used(ex:act2, ar3:0111, <span class="delete">-)
 used(ex:act2, ar3:0111, </span>2011-11-16T16:00:00)
 used(a1,e1, -, [ex:fct="load"])
-<span class="delete">used(ex:u1,</span><span class="insert">used(ex:u1;</span> ex:act2, <span class="delete">ar3:0111, -)</span><span class="insert">ar3:0111)</span>
-used(-, ex:act2, <span class="delete">ar3:0111, -)</span><span class="insert">ar3:0111)</span>
+<span class="delete">used(ex:u1, ex:act2, ar3:0111, -)
+used(-,</span><span class="insert">used(ex:u1;</span> ex:act2, ar3:0111, -)
 </pre>
 </div>
 
 
+<p><span class="insert">Even though the production </span><code class="content"><a class="grammarRef" href="#prod-usageExpression"><span class="insert">usageExpression</span></a></code><span class="insert"> allows for expressions </span><span class="name"><span class="insert">used(a2, -, -)</span></span><span class="insert">  and </span><span class="name"><span class="insert">used(-; e2, -, -)</span></span><span class="insert">, these expressions are not valid in PROV-N, since at least one  of </span><a href="http://www.w3.org/TR/prov-dm/#usage.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#usage.entity"><span class="attribute"><span class="insert">entity</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#usage.time"><span class="attribute"><span class="insert">time</span></span></a><span class="insert">, and  </span><a href="http://www.w3.org/TR/prov-dm/#usage.attributes"><span class="attribute"><span class="insert">attributes</span></span></a> <em class="rfc2119" title="must"><span class="insert">must</span></em><span class="insert"> be present.</span></p>
+
+
+
 </div>
+
+
+<div id="expression-wasInformedBy" class="section">
+<h4><span class="secno">3.1.5 </span><span class="insert">Communication</span></h4>
+
+
+
+
+<table class="grammar">
+
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-communicationExpression" name="prod-communicationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">16</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">communicationExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasInformedBy" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+
+</table>
+
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Communication maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Communication</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#communication.id"><span class="attribute" id="communication.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#communication.informed"><span class="attribute" id="communication.informed"><span class="insert">informed</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#communication.informant"><span class="attribute" id="communication.informant"><span class="insert">informant</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#communication.attributes"><span class="attribute" id="communication.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+<div class="anexample" count="13">
+<pre class="codeexample"><span class="insert">wasInformedBy(ex:inf1; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+</span></pre>
+<p><span class="insert">  Here </span><span class="name"><span class="insert">ex:inf1</span></span><span class="insert"> is the optional communication identifier,  </span><span class="name"><span class="insert">ex:a1</span></span><span class="insert"> is the identifier of the informed activity,
+  </span><span class="name"><span class="insert">ex:a2</span></span><span class="insert"> is the identifier of the informant activity,
+and </span><span class="name"><span class="insert">[ex:param1="a", ex:param2="b"]</span></span><span class="insert"> are optional attributes. </span></p><span class="insert">
+The remaining examples show cases where some of the optionals are omitted.
+
+</span><pre class="codeexample"><span class="insert">wasInformedBy(ex:a1, ex:a2)
+wasInformedBy(ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+wasInformedBy(i; ex:a1, ex:a2)
+wasInformedBy(i; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+</span></pre>
+</div>
+</div>
+
+
+
 <div id="expression-Start" class="section">
-<h4><span class="secno">3.1.5 </span>Start</h4>
-
-
+<h4><span class="secno"><span class="insert">3.1.6 </span></span>Start</h4>
 
 
 
@@ -1567,47 +1721,63 @@
 </span><span class="delete">wasStartedBy</span>
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasStartedBy" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span> (
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
-<span class="delete">aIdentifier</span>
+<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+</table>
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Start maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Start</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#start.id"><span class="attribute" id="start.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#start.activity"><span class="attribute" id="start.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier
 <span class="delete">,</span><span class="delete">
 ( </span><span class="delete">eIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
-</span><span class="delete">,</span><span class="delete"> ( </span><span class="delete">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
+</span><span class="delete">,</span><span class="delete"> ( </span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#start.trigger"><span class="attribute" id="start.trigger"><span class="insert">trigger</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#start.starter"><span class="attribute" id="start.starter"><span class="insert">starter</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#start.time"><span class="attribute" id="start.time">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
 </span><span class="delete">optional-attribute-values</span>
-<span class="delete">)</span>
-
-
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-</table>
-
-
-<div class="anexample">
-
-  <pre class="codeexample"><span class="delete">wasStartedBy(s,</span><span class="insert">wasStartedBy(s;</span> ex:act2,<span class="insert"> e,</span> ar3:0111, 2011-11-16T16:00:00, [ex:param="a"])
+<span class="delete">)</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#start.attributes"><span class="attribute" id="start.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+
+<div class="anexample" count="14">
+
+  <pre class="codeexample"><span class="delete">wasStartedBy(s,</span><span class="insert">wasStartedBy(s;</span> ex:act2, <span class="delete">ar3:0111,</span><span class="insert">ex:trigger, ex:act1,</span> 2011-11-16T16:00:00, [ex:param="a"])
   </pre>
   <p>Here <span class="name">s</span> is the optional start identifier,  <span class="name">ex:act2</span> is the identifier of the <span class="delete">starting</span><span class="insert">started</span> activity,
-  <span class="name"><span class="insert">e</span></span><span class="insert"> is the optional identifier for the entity that triggered the activity start,
-   </span><span class="name">ar3:0111</span> is the <span class="insert">optional </span>identifier <span class="delete">of the</span><span class="insert">for the activity that generated the (possibly unspecified)</span> entity<span class="delete"> that triggered the activity start,</span>   <span class="name"><span class="insert">e</span></span><span class="insert">,</span>
- <span class="name">2011-11-16T16:00:00</span> is the optional usage time, and <span class="name"> [ex:param="a"]</span> are optional attributes.</p>
+  <span class="name"><span class="delete">ar3:0111</span><span class="insert">ex:trigger</span></span> is the <span class="insert">optional </span>identifier <span class="delete">of</span><span class="insert">for</span> the entity that triggered the activity start,
+   <span class="name"><span class="insert">ex:act1</span></span><span class="insert"> is the optional identifier for the activity that generated the (possibly unspecified) entity   </span><span class="name"><span class="insert">ex:trigger</span></span><span class="insert">,</span>
+ <span class="name">2011-11-16T16:00:00</span> is the optional <span class="delete">usage</span><span class="insert">start</span> time, and <span class="name"> [ex:param="a"]</span> are optional attributes.</p>
   The remaining examples show cases where some of the optionals are omitted.
   
-  <pre class="codeexample">wasStartedBy(ex:act2, <span class="insert">-, </span>ar3:0111, -)
-wasStartedBy(ex:act2, <span class="insert">-, </span>ar3:0111, 2011-11-16T16:00:00)
+  <pre class="codeexample">wasStartedBy(ex:act2, <span class="delete">ar3:0111,</span><span class="insert">-, ex:act1,</span> -)
+wasStartedBy(ex:act2, <span class="delete">ar3:0111,</span><span class="insert">-, ex:act1,</span> 2011-11-16T16:00:00)
 wasStartedBy(ex:act2, -, <span class="insert">-, </span>2011-11-16T16:00:00)
-<span class="insert">wasStartedBy(ex:act2)
-</span>wasStartedBy(ex:act2, <span class="delete">-, -)
+wasStartedBy(ex:act2, <span class="delete">-, -)
 wasStartedBy(ex:act2, -, -, </span>[ex:param="a"])
 <span class="delete">wasStartedBy(s,</span><span class="insert">wasStartedBy(s;</span> ex:act2, <span class="delete">ar3:0111, 2011-11-16T16:00:00)
-wasStartedBy(-, ex:act2,</span><span class="insert">e,</span> ar3:0111, 2011-11-16T16:00:00)
+wasStartedBy(-, ex:act2, ar3:0111,</span><span class="insert">e, ex:act1,</span> 2011-11-16T16:00:00)
 </pre>
 </div>
 
-<p><strong>Note:</strong> Even though the production <span class="nonterminal">startExpression</span> allows for expressions <span class="name">wasStartedBy(e2, -, -)</span>  and <span class="name">wasStartedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N,
+<p><strong>Note:</strong> Even though the production <code class="content"><a class="grammarRef" href="#prod-startExpression">startExpression</a></code> allows for expressions <span class="name">wasStartedBy(e2, -, -)</span>  and <span class="name"><span class="delete">wasStartedBy(-,</span><span class="insert">wasStartedBy(-;</span> e2, -, -)</span>, these expressions are not valid in PROV-N,
 since 
-at least  one of <span class="attribute">trigger</span>, <span class="attribute">time</span>, or  <span class="attribute">attributes</span>  <em class="rfc2119" title="must">must</em> be present.</p>
+ at least<span class="insert"> one</span>  <span class="delete">one </span>of <a href="http://www.w3.org/TR/prov-dm/#start.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#start.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/prov-dm/#start.starter"><span class="attribute"><span class="insert">starter</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#start.time"><span class="attribute">time</span></a>, <span class="delete">or</span><span class="insert">and</span>  <a href="http://www.w3.org/TR/prov-dm/#start.attributes"><span class="attribute">attributes</span>  </a> <em class="rfc2119" title="must">must</em> be present.</p>
 
 </div>
 
 <div id="expression-End" class="section">
-<h4><span class="secno">3.1.6 </span>End</h4>
+<h4><span class="secno"><span class="delete">3.1.6</span><span class="insert">3.1.7</span> </span>End</h4>
 
 
 
@@ -1619,19 +1789,36 @@
 </span><span class="delete">wasEndedBy</span>
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasEndedBy" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span> (
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
-<span class="delete">aIdentifier</span>
+<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+</table>
+
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM End maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">End</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#end.id"><span class="attribute" id="end.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#end.activity"><span class="attribute" id="end.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier
 <span class="delete">,</span><span class="delete">
 ( </span><span class="delete">eIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
-</span><span class="delete">,</span><span class="delete"> ( </span><span class="delete">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
+</span><span class="delete">,</span><span class="delete"> ( </span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#end.trigger"><span class="attribute" id="end.trigger"><span class="insert">trigger</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#end.ender"><span class="attribute" id="end.ender"><span class="insert">ender</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#end.time"><span class="attribute" id="end.time">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
 </span><span class="delete">optional-attribute-values</span>
-<span class="delete">)</span>
-
-
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-</table>
-
-
-<div class="anexample">
+<span class="delete">)</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#end.attributes"><span class="attribute" id="end.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+<div class="anexample" count="15">
 
     <pre class="codeexample"><span class="delete">wasEndedBy(s,</span><span class="insert">wasEndedBy(s;</span> ex:act2, <span class="delete">ex:trigger, </span><span class="insert">ex:trigger,ex:act3,  </span>2011-11-16T16:00:00, [ex:param="a"])
   </pre>
@@ -1654,13 +1841,17 @@
 </pre>
 </div>
 
-<p><strong>Note:</strong>Even though the production <span class="nonterminal">endExpression</span> allows for expressions <span class="name">wasEndedBy(e2, -, -)</span>  and <span class="name">wasEndedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N,
+<p><strong>Note:</strong>Even though the production <code class="content"><a class="grammarRef" href="#prod-endExpression">endExpression</a></code> allows for expressions <span class="name">wasEndedBy(e2, -, -)</span>  and <span class="name"><span class="delete">wasEndedBy(-,</span><span class="insert">wasEndedBy(-;</span> e2, -, -)</span>, these expressions are not valid in PROV-N,
 since 
-at least  one of <span class="attribute">trigger</span>, <span class="attribute">time</span>, and  <span class="attribute">attributes</span> <em class="rfc2119" title="must">must</em> be present.</p>
+ at least<span class="insert"> one</span>  <span class="delete">one </span>of <a href="http://www.w3.org/TR/prov-dm/#end.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#end.trigger"><span class="attribute">trigger</span></a>, <a href="http://www.w3.org/TR/prov-dm/#end.ene"><span class="attribute"><span class="insert">ender</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#end.time"><span class="attribute">time</span></a>, and  <a href="http://www.w3.org/TR/prov-dm/#end.attributes"><span class="attribute">attributes</span></a> <em class="rfc2119" title="must">must</em> be present.</p>
 </div>
 
+
+
+
+
 <div id="expression-Invalidation" class="section">
-<h4><span class="secno">3.1.7 </span>Invalidation</h4>
+<h4><span class="secno"><span class="delete">3.1.7</span><span class="insert">3.1.8</span> </span>Invalidation</h4>
 
 
 <div class="withPn">
@@ -1675,20 +1866,34 @@
 </span><span class="delete">wasInvalidatedBy</span>
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasInvalidatedBy" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span> (
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
-<span class="delete">eIdentifier</span>
+<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+</table>
+
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Invalidation maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Invalidation</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#invalidation.id"><span class="attribute" id="invalidation.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#invalidation.entity"><span class="attribute" id="invalidation.entity"><span class="insert">entity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
 <span class="delete">,</span><span class="delete">
 ( </span><span class="delete">aIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
-</span><span class="delete">,</span><span class="delete"> ( </span><span class="delete">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
+</span><span class="delete">,</span><span class="delete"> ( </span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#invalidation.activity"><span class="attribute" id="invalidation.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#invalidation.time"><span class="attribute" id="invalidation.time">time</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
 </span><span class="delete">optional-attribute-values</span>
-<span class="delete">)</span>
-
-
-
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-</table>
-
-
-<div class="anexample">
+<span class="delete">)</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-timeOrMarker"><span class="insert">timeOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#invalidation.attributes"><span class="attribute" id="invalidation.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+<div class="anexample" count="16">
 
 <pre class="codeexample"><span class="delete">wasInvalidatedBy(ex:i1,</span><span class="insert">wasInvalidatedBy(ex:i1;</span> tr:WD-prov-dm-20111215, ex:edit1, 2011-11-16T16:00:00,  [ex:fct="save"])
 </pre>
@@ -1705,57 +1910,55 @@
 </pre>
 </div>
 
-<p>Even though the production <span class="nonterminal">invalidationExpression</span> allows for expressions <span class="name">wasInvalidatedBy(e2, -, -)</span>  and <span class="name">wasInvalidatedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N, since 
-at least  one of <span class="attribute">activity</span>, <span class="attribute">time</span>, or  <span class="attribute">attributes</span>  <em class="rfc2119" title="must">must</em> be present.</p>
-
-
-</div></div>
-
-
-<div id="expression-wasInformedBy" class="section">
-<h4><span class="secno">3.1.8 </span>Communication</h4>
-
-
-
-
-
-
-
-<table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-communicationExpression" name="prod-communicationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">16</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">communicationExpression<span class="delete"> &nbsp;::= 
+<p>Even though the production   <code class="content"><a class="grammarRef" href="#prod-invalidationExpression">invalidationExpression</a></code> allows for expressions <span class="name">wasInvalidatedBy(e2, -, -)</span>  and <span class="name"><span class="delete">wasInvalidatedBy(-,</span><span class="insert">wasInvalidatedBy(-;</span> e2, -, -)</span>, these expressions are not valid in PROV-N, since 
+<span class="insert">since </span>at least<span class="insert"> one</span>  <span class="delete">one </span>of <a href="http://www.w3.org/TR/prov-dm/#invalidation.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#invalidation.activity"><span class="attribute">activity</span></a>, <a href="http://www.w3.org/TR/prov-dm/#invalidation.time"><span class="attribute">time</span></a>, <span class="delete">or</span><span class="insert">and</span>  <a href="http://www.w3.org/TR/prov-dm/#invalidation.attributes"><span class="attribute">attributes</span>  </a> <em class="rfc2119" title="must">must</em> be present.</p>
+
+
+
+
+
+
+</div>
+
+
+
+<span class="delete">3.1.8 </span><span class="delete">Communication</span>
+
+
+<span class="delete">communicationExpression</span><span class="delete"> &nbsp;::= 
 </span><span class="delete">wasInformedBy</span>
 <span class="delete">(</span>
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
-</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasInformedBy" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier
+<span class="delete">aIdentifier</span>
 <span class="delete">,</span>
-</a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier
+<span class="delete">aIdentifier</span>
 <span class="delete">optional-attribute-values</span>
 <span class="delete">)</span>
-
-
-</a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-
-<div class="anexample">
-<pre class="codeexample"><span class="delete">wasInformedBy(ex:inf1,</span><span class="insert">wasInformedBy(ex:inf1;</span> ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-</pre>
-<p>  Here <span class="name">ex:inf1</span> is the optional communication identifier,  <span class="name">ex:a1</span> is the identifier of the informed activity,
-  <span class="name">ex:a2</span> is the identifier of the informant activity,
-and <span class="name">[ex:param1="a", ex:param2="b"]</span> are optional attributes. </p>
+</div>
+
+
+<span class="delete">wasInformedBy(ex:inf1, ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+</span>
+<span class="delete">  Here </span><span class="delete">ex:inf1</span><span class="delete"> is the optional communication identifier,  </span><span class="delete">ex:a1</span><span class="delete"> is the identifier of the informed activity,
+  </span><span class="delete">ex:a2</span><span class="delete"> is the identifier of the informant activity,
+and </span><span class="delete">[ex:param1="a", ex:param2="b"]</span><span class="delete"> are optional attributes. </span><span class="delete">
 The remaining examples show cases where some of the optionals are omitted.
 
-<pre class="codeexample">wasInformedBy(ex:a1, ex:a2)
+</span><span class="delete">wasInformedBy(ex:a1, ex:a2)
 wasInformedBy(ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-<span class="delete">wasInformedBy(i,</span><span class="insert">wasInformedBy(i;</span> ex:a1, ex:a2)
-<span class="delete">wasInformedBy(i,</span><span class="insert">wasInformedBy(i;</span> ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-<span class="delete">wasInformedBy(-, ex:a1, ex:a2)
+wasInformedBy(i, ex:a1, ex:a2)
+wasInformedBy(i, ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+wasInformedBy(-, ex:a1, ex:a2)
 wasInformedBy(-, ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-</span></pre>
+</span>
+
+
+
+
+
+
 </div>
-</div>
+
 
 
 <span class="delete">3.1.9 </span><span class="delete">Start by Activity</span>
@@ -1774,10 +1977,6 @@
 
 
 
-
-</div>
-
-
 <span class="delete">wasStartedByActivity(s,ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
   </span>
 <span class="delete">  Here </span><span class="delete">s</span><span class="delete"> is the optional start-by-activity identifier,  </span><span class="delete">ex:a1</span><span class="delete"> is the identifier of the starting activity,
@@ -1796,100 +1995,76 @@
 
 
 
+
+
 <div id="component2" class="section"> 
-<h3><span class="secno">3.2 </span>Component 2: Agents and Responsibility</h3>
-<div id="expression-Agent" class="section">
-<h4><span class="secno">3.2.1 </span>Agent</h4>
-
-
-
-
-
-
-<table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-agentExpression" name="prod-agentExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">17</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">agentExpression<span class="delete">&nbsp;::= 
+<h3><span class="secno">3.2 </span>Component 2: <span class="delete">Agents and Responsibility</span><span class="insert">Derivations</span></h3>
+<div id="Derivation-Relation" class="section">
+<h4><span class="secno">3.2.1 </span><span class="delete">Agent</span>
+
+
+<span class="delete">agentExpression</span><span class="delete">&nbsp;::= 
 </span><span class="delete">agent</span>
 <span class="delete">(</span>
-</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"agent" "(" </span><span class="prod"><a class="grammarRef" href="#prod-identifier">identifier
+<span class="delete">identifier</span>
 <span class="delete">optional-attribute-values</span>
 <span class="delete">)</span>
-</a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-
-<div class="anexample">
-<pre class="codeexample">agent(ag4, [ prov:type="prov:Person", ex:name="David" ])
-</pre>
-<p>Here <span class="name">ag</span> is the agent identifier, and
-   <span class="name">[ prov:type="prov:Person", ex:name="David" ]</span> are optional attributes. </p>
+
+
+
+
+<span class="delete">agent(ag4, [ prov:type="prov:Person", ex:name="David" ])
+</span>
+<span class="delete">Here </span><span class="delete">ag</span><span class="delete"> is the agent identifier, and
+   </span><span class="delete">[ prov:type="prov:Person", ex:name="David" ]</span><span class="delete"> are optional attributes. </span><span class="delete">
 In the next example, the optional attributes are omitted.
 
-<pre class="codeexample">agent(ag4)
-</pre>
-</div>
-
-
-</div>
-<div id="expression-attribution" class="section">
-<h4><span class="secno">3.2.2 </span>Attribution</h4>
-
-
-
-
-
-
-
-<table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-attributionExpression" name="prod-attributionExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">18</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">attributionExpression<span class="delete">&nbsp;::=  
+</span><span class="delete">agent(ag4)
+</span>
+
+
+
+
+
+<span class="delete">3.2.2 </span><span class="delete">Attribution</span>
+
+
+<span class="delete">attributionExpression</span><span class="delete">&nbsp;::=  
 </span><span class="delete">wasAttributedTo</span> 
 <span class="delete">(</span> 
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
-</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasAttributedTo" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
+<span class="delete">eIdentifier</span>
 <span class="delete">,</span> 
-</a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifier">agIdentifier
+<span class="delete">agIdentifier</span>
 <span class="delete">optional-attribute-values</span>
 <span class="delete">)</span> 
 
 
-</a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-
-<div class="anexample">
-
-<pre class="codeexample"><span class="delete">wasAttributedTo(id,</span><span class="insert">wasAttributedTo(id;</span> e, ag, <span class="delete">[ex:license="cc:attributionURL" %% "xsd:QName"])</span><span class="insert">[ex:license='cc:attributionURL' ])</span>
-  </pre>
-<p>    Here <span class="name">id</span> is the optional attribution identifier,  <span class="name">e</span> is an entity identifier,
-  <span class="name">ag</span> is the identifier of the agent to whom the entity is abscribed, 
-and <span class="name"><span class="delete">[ex:license="cc:attributionURL" %% "xsd:QName"]</span><span class="insert">[ex:license='cc:attributionURL' ]</span></span> are optional attributes. </p>
+
+
+<span class="delete">wasAttributedTo(id, e, ag, [ex:license="cc:attributionURL" %% "xsd:QName"])
+  </span>
+<span class="delete">    Here </span><span class="delete">id</span><span class="delete"> is the optional attribution identifier,  </span><span class="delete">e</span><span class="delete"> is an entity identifier,
+  </span><span class="delete">ag</span><span class="delete"> is the identifier of the agent to whom the entity is abscribed, 
+and </span><span class="delete">[ex:license="cc:attributionURL" %% "xsd:QName"]</span><span class="delete"> are optional attributes. </span><span class="delete">
 The remaining examples show cases where some of the optionals are omitted.
 
-<pre class="codeexample">wasAttributedTo(e, ag)
-wasAttributedTo(e, ag, <span class="delete">[ex:license="cc:attributionURL" %% "xsd:QName"])
-wasAttributedTo(-,  e, ag, [ex:license="cc:attributionURL" %% "xsd:QName"])</span><span class="insert">[ex:license='cc:attributionURL' ])</span>
-</pre>
-</div>
-
-</div>  
-
-
-<div id="expression-Association" class="section">
-<h4><span class="secno">3.2.3 </span>Association</h4>
-
-
-
-
-
-
-<table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-associationExpression" name="prod-associationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">19</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">associationExpression<span class="delete">&nbsp;::= 
+</span><span class="delete">wasAttributedTo(e, ag)
+wasAttributedTo(e, ag, [ex:license="cc:attributionURL" %% "xsd:QName"])
+wasAttributedTo(-,  e, ag, [ex:license="cc:attributionURL" %% "xsd:QName"])
+</span>
+
+
+  
+
+
+
+<span class="delete">3.2.3 </span><span class="delete">Association</span>
+
+
+<span class="delete">associationExpression</span><span class="delete">&nbsp;::= 
 </span><span class="delete">wasAssociatedWith</span>
-</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasAssociatedWith" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifierOrMarker"><span class="insert">agIdentifierOrMarker</span></a></span> (
+<span class="delete">(</span>
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
 <span class="delete">aIdentifier</span>
 <span class="delete">,</span><span class="delete"> 
@@ -1902,53 +2077,40 @@
 
 
 
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-
-<div class="anexample">
-<pre class="codeexample"><span class="delete">wasAssociatedWith(ex:agas,</span><span class="insert">wasAssociatedWith(ex:agas;</span> ex:a1, ex:ag1, ex:e1, [ex:param1="a", ex:param2="b"])
-  </pre>
-
-<p>  Here <span class="name">ex:agas</span> is the optional attribution identifier,
-  <span class="name">ex:a1</span> is an activity identifier,
-  <span class="name">ex:ag1</span> is the optional identifier of the agent associated to the activity,
-  <span class="name">ex:e1</span> is the optional identifier of the plan used by the agent in the context of the activity,
-  and <span class="name"> [ex:param1="a", ex:param2="b"]</span> are optional attributes. </p>
+
+<span class="delete">wasAssociatedWith(ex:agas, ex:a1, ex:ag1, ex:e1, [ex:param1="a", ex:param2="b"])
+  </span>
+
+<span class="delete">  Here </span><span class="delete">ex:agas</span><span class="delete"> is the optional attribution identifier,
+  </span><span class="delete">ex:a1</span><span class="delete"> is an activity identifier,
+  </span><span class="delete">ex:ag1</span><span class="delete"> is the optional identifier of the agent associated to the activity,
+  </span><span class="delete">ex:e1</span><span class="delete"> is the optional identifier of the plan used by the agent in the context of the activity,
+  and </span><span class="delete"> [ex:param1="a", ex:param2="b"]</span><span class="delete"> are optional attributes. </span><span class="delete">
 The remaining examples show cases where some of the optionals are omitted.
 
   
   
-<pre class="codeexample">wasAssociatedWith(ex:a1, -, ex:e1)
-wasAssociatedWith(ex:a1, <span class="insert">ex:ag1)
-wasAssociatedWith(ex:a1, </span>ex:ag1, <span class="delete">-)</span><span class="insert">ex:e1)</span>
-wasAssociatedWith(ex:a1, ex:ag1, <span class="insert">ex:e1, [ex:param1="a", ex:param2="b"])
-wasAssociatedWith(a; ex:a1, -, </span>ex:e1)<span class="delete">
+</span><span class="delete">wasAssociatedWith(ex:a1, -, ex:e1)
+wasAssociatedWith(ex:a1, ex:ag1, -)
+wasAssociatedWith(ex:a1, ex:ag1, ex:e1)
 wasAssociatedWith(ex:a1, ex:ag1, ex:e1, [ex:param1="a", ex:param2="b"])
 wasAssociatedWith(a, ex:a1, -, ex:e1)
 wasAssociatedWith(-, ex:a1, -, ex:e1)
-wasAssociatedWith(-, ex:a1, ex:ag1, -)</span>
-</pre>
-</div>
-
-<p><strong>Note:</strong>The production <span class="nonterminal">associationExpression</span> allows for expressions <span class="name">wasAssociatedWith(a, -, -)</span>  and <span class="name">wasAssociatiedWith(-, a, -, -)</span>. However, these expressions are not valid in PROV-N, 
-because at least  one of <span class="attribute">agent</span> or <span class="attribute">plan</span> <em class="rfc2119" title="must">must</em> be present.</p>
-
-</div>
-<div id="expression-responsibility" class="section">
-<h4><span class="secno">3.2.4 </span>Responsibility</h4>
-
-
-
-
-
-
-<table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-responsibilityExpression" name="prod-responsibilityExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">20</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">responsibilityExpression<span class="delete">&nbsp;::= 
+wasAssociatedWith(-, ex:a1, ex:ag1, -)
+</span>
+
+
+<span class="delete">Note:</span><span class="delete">The production </span><span class="delete">associationExpression</span><span class="delete"> allows for expressions </span><span class="delete">wasAssociatedWith(a, -, -)</span><span class="delete">  and </span><span class="delete">wasAssociatiedWith(-, a, -, -)</span><span class="delete">. However, these expressions are not valid in PROV-N, 
+because at least  one of </span><span class="delete">agent</span><span class="delete"> or </span><span class="delete">plan</span> <span class="delete">must</span><span class="delete"> be present.</span>
+
+
+
+<span class="delete">3.2.4 </span><span class="delete">Responsibility</span>
+
+
+<span class="delete">responsibilityExpression</span><span class="delete">&nbsp;::= 
 </span><span class="delete">actedOnBehalfOf</span>
-</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"actedOnBehalfOf" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></span> (
+<span class="delete">(</span>
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
 <span class="delete">agIdentifier</span>
 <span class="delete">,</span>
@@ -1957,55 +2119,62 @@
 ( </span><span class="delete">aIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
 </span><span class="delete">optional-attribute-values</span>
 <span class="delete">)</span>
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-<div class="anexample">
-
-  <pre class="codeexample"><span class="delete">actedOnBehalfOf(act1,</span><span class="insert">actedOnBehalfOf(act1;</span> ag1, ag2, a, [prov:type="contract"])
-  </pre>
-<p>  Here <span class="name">act1</span> is the optional attribution identifier,
-  <span class="name">ag1</span> is the identifier for the subordinate agent,
-  <span class="name">ag2</span> is the  identifier of the responsible agent,
-  <span class="name">a</span> is the optional identifier of the activity for which the responsibility link holds,
-  and <span class="name"> [prov:type="contract"]</span> are optional attributes. </p>
+
+
+
+
+  <span class="delete">actedOnBehalfOf(act1, ag1, ag2, a, [prov:type="contract"])
+  </span>
+<span class="delete">  Here </span><span class="delete">act1</span><span class="delete"> is the optional attribution identifier,
+  </span><span class="delete">ag1</span><span class="delete"> is the identifier for the subordinate agent,
+  </span><span class="delete">ag2</span><span class="delete"> is the  identifier of the responsible agent,
+  </span><span class="delete">a</span><span class="delete"> is the optional identifier of the activity for which the responsibility link holds,
+  and </span><span class="delete"> [prov:type="contract"]</span><span class="delete"> are optional attributes. </span><span class="delete">
 The remaining examples show cases where some of the optionals are omitted.
 
 
-<pre class="codeexample">actedOnBehalfOf(ag1, <span class="insert">ag2)
-actedOnBehalfOf(ag1, </span>ag2, <span class="delete">-)</span><span class="insert">a)</span>
-actedOnBehalfOf(ag1, ag2, <span class="delete">a)
-actedOnBehalfOf(ag1,</span><span class="insert">-, [prov:type="delegation"])
+</span><span class="delete">actedOnBehalfOf(ag1, ag2, -)
+actedOnBehalfOf(ag1, ag2, a)
+actedOnBehalfOf(ag1, ag2, -, [prov:type="delegation"])
 actedOnBehalfOf(ag2, ag3, a, [prov:type="contract"])
-actedOnBehalfOf(r;</span> ag2, <span class="delete">-, [prov:type="delegation"])
-actedOnBehalfOf(ag2, </span>ag3, a, [prov:type="contract"])<span class="delete">
 actedOnBehalfOf(r, ag2, ag3, a, [prov:type="contract"])
-actedOnBehalfOf(-, ag1, ag2, -)</span>
-</pre>
-</div>
-
-
-</div>
-</div>
-<div id="component3" class="section"> 
-<h3><span class="secno">3.3 </span>Component 3: Derivations</h3>
-<div id="Derivation-Relation" class="section">
-<h4><span class="secno">3.3.1 </span>Derivation</h4>
+actedOnBehalfOf(-, ag1, ag2, -)
+</span>
+
+
+
+
+
+ 
+<span class="delete">3.3 </span><span class="delete">Component 3: Derivations</span>
+
+<span class="delete">3.3.1 </span>Derivation</h4>
 
 
 
 
 
 <table class="grammar">
-
 <tbody class="prod"> <tr valign="baseline"> <td><a id="prod-derivationExpression" name="prod-derivationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">21</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">derivationExpression<span class="delete">&nbsp;::= 
 </span><span class="delete">wasDerivedFrom</span>
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasDerivedFrom" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span> (
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
-<span class="delete">eIdentifier</span>
+<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-gIdentifierOrMarker"><span class="insert">gIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-uIdentifierOrMarker"><span class="insert">uIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+</table>
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Derivation maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Derivation</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#derivation.id"><span class="attribute" id="derivation.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#derivation.generatedEntity"><span class="attribute" id="derivation.generatedEntity"><span class="insert">generatedEntity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
 <span class="delete">,</span>
-<span class="delete">eIdentifier</span>
+</a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#derivation.usedEntity"><span class="attribute" id="derivation.usedEntity"><span class="insert">usedEntity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
 
 <span class="delete">,</span><span class="delete">
 ( </span><span class="delete">aIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
@@ -2015,18 +2184,31 @@
 ( </span><span class="delete">uIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
 </span>
 <span class="delete">optional-attribute-values</span>
-<span class="delete">)</span>
-
-
-
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-gIdentifierOrMarker"><span class="insert">gIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-uIdentifierOrMarker"><span class="insert">uIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-
-
-<div class="anexample">
-    <pre class="codeexample">wasDerivedFrom(d, e2, e1, a, g2, u1, [prov:comment="a righteous derivation"])
+<span class="delete">)</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#derivation.activity"><span class="attribute" id="derivation.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#derivation.generation"><span class="attribute" id="derivation.generation"><span class="insert">generation</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-gIdentifierOrMarker"><span class="insert">gIdentifierOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#derivation.usage"><span class="attribute" id="derivation.usage"><span class="insert">usage</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-uIdentifierOrMarker"><span class="insert">uIdentifierOrMarker</span></a></code></td></tr>
+
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#derivation.attributes"><span class="attribute" id="derivation.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+
+
+
+
+
+<div class="anexample" id="anexample-derivation" count="17">
+    <pre class="codeexample">wasDerivedFrom(d, e2, e1, a, g2, u1, <span class="delete">[prov:comment="a</span><span class="insert">[ex:comment="a</span> righteous derivation"])
   </pre>
 <p>  Here
     <span class="name">d</span> is the optional derivation identifier,
@@ -2035,7 +2217,7 @@
   <span class="name">a</span> is the optional identifier of the activity which used/generated the entities,
   <span class="name">g2</span> is the optional identifier of the generation,
   <span class="name">u1</span> is the optional identifier of the usage,
-  and <span class="name">[prov:comment="a righteous derivation"]</span> are optional attributes. </p>
+  and <span class="name"><span class="delete">[prov:comment="a</span><span class="insert">[ex:comment="a</span> righteous derivation"]</span> are optional attributes. </p>
 The remaining examples show cases where some of the optionals are omitted.
 
   
@@ -2054,18 +2236,12 @@
 
 </div>
 <div id="expression-Revision" class="section">
-<h4><span class="secno">3.3.2 </span>Revision</h4>
-
-
-
-
-
-
-<table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-revisionExpression" name="prod-revisionExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">22</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">revisionExpression<span class="delete">&nbsp;::= 
+<h4><span class="secno"><span class="delete">3.3.2</span><span class="insert">3.2.2</span> </span>Revision</h4>
+
+
+<span class="delete">revisionExpression</span><span class="delete">&nbsp;::= 
 </span><span class="delete">wasRevisionOf</span>
-</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasRevisionOf" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span> (
+<span class="delete">(</span>
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
 <span class="delete">eIdentifier</span>
 <span class="delete">,</span>
@@ -2074,52 +2250,59 @@
 ( </span><span class="delete">agIdentifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> )
 </span><span class="delete">optional-attribute-values</span>
 <span class="delete">)</span>
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-gIdentifierOrMarker"><span class="insert">gIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-uIdentifierOrMarker"><span class="insert">uIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-
-<div class="anexample">
-    <pre class="codeexample">wasRevisionOf(rev1, tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, <span class="delete">w3:Consortium,</span><span class="insert">ex:act1, ex:g, ex:u,</span> [prov:comment="??"] )
+
+
+
+
+
+
+
+
+
+
+<div class="anexample" count="18">
+    <pre class="codeexample"><span class="delete">wasRevisionOf(rev1, tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, w3:Consortium, [prov:comment="??"] )</span><span class="insert">wasDerivedFrom(d, e2, e1, a, g2, u1, [prov:type="prov:WasRevisionOf", ex:comment="a righteous derivation"])</span>
   </pre>
-<p>  Here
-    <span class="name">rev1</span> is the optional revision identifier,
-  <span class="name">tr:WD-prov-dm-20111215</span> is the identifier of the revised entity,
-  <span class="name">tr:WD-prov-dm-20111018</span> is the identifier of the original entity,
-  <span class="name"><span class="delete">w3:Consortium</span><span class="insert">ex:act1</span></span> is the <span class="delete">optional </span>identifier <span class="delete">of the agent involved in the revision,</span><span class="insert">for the activity using and generating  </span><span class="name"><span class="insert">tr:WD-prov-dm-20111215</span></span><span class="insert"> and  </span><span class="name"><span class="insert">tr:WD-prov-dm-20111018</span></span><span class="insert">,</span>
-  <span class="name"><span class="insert">ex:g</span></span><span class="insert"> is the identifier for the generation involving the revised entity  </span><span class="name"><span class="insert">tr:WD-prov-dm-20111215</span></span>  and <span class="insert">activity  </span><span class="name"><span class="insert">ex:act1</span></span><span class="insert">;
-  </span><span class="name"><span class="insert">ex:u</span></span><span class="insert"> is the identifier for the usage involving the used entity  </span><span class="name"><span class="insert">tr:WD-prov-dm-20111018</span></span><span class="insert"> and activity  </span><span class="name"><span class="insert">ex:act1</span></span><span class="insert">, 
-  and </span><span class="name"> [prov:comment="??"]<span class="delete"> )</span></span> are optional attributes. </p>
+<p><span class="delete">  Here
+    </span><span class="insert">Here, the derivation from
+</span><a href="#anexample-derivation" class="anexample-ref"><span><span class="insert">Example 17</span></span></a><span class="insert">
+is extended with a </span><span class="name"><span class="delete">rev1</span><span class="delete"> is the optional revision identifier,
+  </span><span class="insert">prov:type</span></span><span class="insert"> attribute and value </span><span class="name"><span class="delete">tr:WD-prov-dm-20111215</span><span class="delete"> is the identifier of the revised entity,
+  </span><span class="delete">tr:WD-prov-dm-20111018</span><span class="delete"> is the identifier of the original entity,
+  </span><span class="delete">w3:Consortium</span><span class="delete"> is the optional identifier of the agent involved in the revision,
+  and </span><span class="delete"> [prov:comment="??"] )</span><span class="delete"> are optional attributes. </span><span class="insert">prov:WasRevisionOf</span></span><span class="insert">.
+</span></p><span class="delete">
 The remaining examples show cases where some of the optionals are omitted.
 
 
-  <pre class="codeexample">wasRevisionOf(tr:WD-prov-dm-20111215, <span class="insert">tr:WD-prov-dm-20111018)
-wasRevisionOf(tr:WD-prov-dm-20111215, </span>tr:WD-prov-dm-20111018, <span class="delete">-)</span><span class="insert">ex:act1, ex:g, ex:u)
-wasRevisionOf(id; tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, , ex:act1, ex:g, ex:u)
-wasRevisionOf(id;tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)</span>
-wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018,<span class="delete"> w3:Consortium)
+  </span><span class="delete">wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
+wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, w3:Consortium)
 wasRevisionOf(id,tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, w3:Consortium)
 wasRevisionOf(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
 wasRevisionOf(id,tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
-wasRevisionOf(-,tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)</span><span class="insert">  [prov:comment="??"])</span>
-</pre>
+wasRevisionOf(-,tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018, -)
+</span>
 </div>
 
 
 </div>  
 <div id="expression-quotation" class="section">
-<h4><span class="secno">3.3.3 </span>Quotation</h4>
-
-
-
-
-
-
-<table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-quotationExpression" name="prod-quotationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">23</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">quotationExpression<span class="delete">&nbsp;::=  
-</span><span class="delete">wasQuotedFrom</span> 
-</code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasQuotedFrom" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span> ( 
+<h4><span class="secno"><span class="delete">3.3.3</span><span class="insert">3.2.3</span> </span>Quotation</h4>
+
+
+<span class="delete">quotationExpression</span><span class="delete">&nbsp;::=  
+</span>
+
+
+
+
+
+<div class="anexample" count="19">
+    <pre class="codeexample"><span class="insert">wasDerivedFrom(quoteId1; ex:blockQuote,ex:blog, ex:act1, ex:g, ex:u, [ prov:type='prov:WasQuotedFrom' ])
+  </span></pre>
+
+<p><span class="insert">Here, the derivation is provided with a </span><span class="name"><span class="delete">wasQuotedFrom</span> 
+<span class="insert">prov:type</span></span><span class="insert"> attribute and value </span><span class="name"><span class="delete">(</span> 
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
 <span class="delete">eIdentifier</span>
 <span class="delete">,</span> 
@@ -2132,50 +2315,198 @@
 </span>
 <span class="delete">optional-attribute-values</span>
 <span class="delete">)</span> 
-
-
-
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-gIdentifierOrMarker"><span class="insert">gIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-uIdentifierOrMarker"><span class="insert">uIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
-</table>
-
-
-
-<div class="anexample">
-    <pre class="codeexample"><span class="delete">wasQuotedFrom(quoteId1, ex:blockQuote,ex:blog,ex:Luc,ex:Paul,[])</span><span class="insert">wasQuotedFrom(quoteId1; ex:blockQuote,ex:blog, ex:act1, ex:g, ex:u, [])</span>
-  </pre>
-<p>  Here
-    <span class="name">quoteId1</span> is the optional revision identifier,
-  <span class="name">ex:blockQuote</span> is the identifier of the entity that represents the quote (the partial copy)
-  <span class="name">ex:blog</span> is the identifier of the original entity being quoted,
-  <span class="name"><span class="delete">ex:Luc</span><span class="insert">ex:act1</span></span> is the <span class="delete">optional </span>identifier <span class="delete">of the agent who performs the quoting,</span><span class="insert">for the activity using and generating </span><span class="name"><span class="insert">ex:blockQuote</span></span><span class="insert"> and  </span><span class="name"><span class="insert">ex:blog</span></span><span class="insert">,</span>
-  <span class="name"><span class="delete">ex:Paul</span><span class="insert">ex:g</span></span> is the <span class="delete">optional </span>identifier <span class="delete">of the agent to whom</span><span class="insert">for the generation involving the quoted entity  </span><span class="name"><span class="insert">ex:blockQuote</span></span><span class="insert">  and activity  </span><span class="name"><span class="insert">ex:act1</span></span><span class="insert">;
-  </span><span class="name"><span class="insert">ex:u</span></span><span class="insert"> is the identifier for the usage involving</span> the original entity<span class="delete"> is attributed,
-  </span>  <span class="name"><span class="insert">ex:blog</span></span><span class="insert"> and activity  </span><span class="name"><span class="insert">ex:act1</span></span><span class="insert">, 
-  </span>and <span class="name">[]</span> is the (empty) optional set of attributes. </p>
-The remaining examples show cases where some of the optionals are omitted.
-
-
-  <pre class="codeexample">wasQuotedFrom(ex:blockQuote,ex:blog)
-<span class="delete">wasQuotedFrom(ex:blockQuote,ex:blog,ex:Luc,ex:Paul)
-wasQuotedFrom(ex:blockQuote,ex:blog,-,ex:Paul)
-wasQuotedFrom(ex:blockQuote,ex:blog,ex:Luc,ex:Paul,[])
-</span>wasQuotedFrom(ex:blockQuote,ex:blog, <span class="delete">-, -)
-wasQuotedFrom(id,ex:blockQuote,ex:blog,ex:Luc,ex:Paul)
-wasQuotedFrom(-,ex:blockQuote,ex:blog,ex:Luc,-)
-
-</span><span class="insert">ex:act1, -,-)
-wasQuotedFrom(ex:blockQuote,ex:blog,-,ex:g, ex:u)
-wasQuotedFrom(ex:blockQuote,ex:blog,[])
-wasQuotedFrom(id; ex:blockQuote,ex:blog,ex:act1, -,-)
-</span></pre>
-</div>
+<span class="insert">prov:WasQuotedFrom</span></span><span class="insert">.
+</span></p></div>
+
 
 </div>  
 
 
 <div id="expression-original-source" class="section">
-<h4><span class="secno">3.3.4 </span>Original Source</h4>
+<h4><span class="secno"><span class="insert">3.2.4 </span></span><span class="insert">Original Source</span></h4>
+
+
+
+
+
+<div class="anexample" count="20">
+    <pre class="codeexample"><span class="delete">wasQuotedFrom(quoteId1, ex:blockQuote,ex:blog,ex:Luc,ex:Paul,[])</span><span class="insert">wasDerivedFrom(src1;  ex:e1, ex:e2, ex:act, ex:g, ex:u, [ prove:type='prov:HadOriginalSource' ])
+</span></pre>
+<p><span class="insert">Here, the derivation is provided with a </span><span class="name"><span class="insert">prov:type</span></span><span class="insert"> attribute and value </span><span class="name"><span class="insert">prov:HadOriginalSource</span></span><span class="insert">.
+  
+</span></p></div>
+
+
+
+</div>  
+
+</div>
+
+
+<div id="component3" class="section"> 
+<h3><span class="secno"><span class="insert">3.3 </span></span><span class="insert">Component 3: Agents and Responsibility</span></h3>
+<div id="expression-Agent" class="section">
+<h4><span class="secno"><span class="insert">3.3.1 </span></span><span class="insert">Agent</span></h4>
+
+
+
+<table class="grammar">
+
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-agentExpression" name="prod-agentExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">17</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">agentExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"agent" "(" </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+
+</table>
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Agent maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Agent</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#agent.id"><span class="attribute" id="agent.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#agent.attributes"><span class="attribute" id="agent.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+<div class="anexample" count="21">
+<pre class="codeexample"><span class="insert">agent(ag4, [ prov:type="prov:Person", ex:name="David" ])
+</span></pre>
+<p><span class="insert">Here </span><span class="name"><span class="insert">ag</span></span><span class="insert"> is the agent identifier, and
+   </span><span class="name"><span class="insert">[ prov:type="prov:Person", ex:name="David" ]</span></span><span class="insert"> are optional attributes. </span></p><span class="insert">
+In the next example, the optional attributes are omitted.
+
+</span><pre class="codeexample"><span class="insert">agent(ag4)
+</span></pre>
+</div>
+
+
+</div>
+<div id="expression-attribution" class="section">
+<h4><span class="secno"><span class="insert">3.3.2 </span></span><span class="insert">Attribution</span></h4>
+
+
+
+
+<table class="grammar">
+
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-attributionExpression" name="prod-attributionExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">18</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">attributionExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasAttributedTo" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+
+</table>
+
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Attribution maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Attribution</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.id"><span class="attribute" id="attribution.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.entity"><span class="attribute" id="attribution.entity"><span class="insert">entity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-Identifier"><span class="insert">eIdentifier</span></a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.agent"><span class="attribute" id="attribution.agent"><span class="insert">agent</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.attributes"><span class="attribute" id="attribution.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+<div class="anexample" count="22">
+
+<pre class="codeexample"><span class="insert">wasAttributedTo(id; e, ag, [ex:license='cc:attributionURL' ])</span>
+  </pre>
+<p><span class="insert">    Here </span><span class="name"><span class="insert">id</span></span><span class="insert"> is the optional attribution identifier,  </span><span class="name"><span class="insert">e</span></span><span class="insert"> is an entity identifier,
+  </span><span class="name"><span class="insert">ag</span></span><span class="insert"> is the identifier of the agent to whom the entity is abscribed, 
+and </span><span class="name"><span class="insert">[ex:license='cc:attributionURL' ]</span></span><span class="insert"> are optional attributes. </span></p><span class="insert">
+The remaining examples show cases where some of the optionals are omitted.
+
+</span><pre class="codeexample"><span class="insert">wasAttributedTo(e, ag)
+wasAttributedTo(e, ag, [ex:license='cc:attributionURL' ])
+</span></pre>
+</div>
+
+</div>  
+
+
+<div id="expression-Association" class="section">
+<h4><span class="secno"><span class="insert">3.3.3 </span></span><span class="insert">Association</span></h4>
+
+
+
+<table class="grammar">
+
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-associationExpression" name="prod-associationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">19</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">associationExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"wasAssociatedWith" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifierOrMarker"><span class="insert">agIdentifierOrMarker</span></a></span><span class="insert"> ( "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+
+</table>
+
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Association maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Association</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.id"><span class="attribute" id="association.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.activity"><span class="attribute" id="association.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.agent"><span class="attribute" id="association.agent"><span class="insert">agent</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifierOrMarker"><span class="insert">agIdentifierOrMarker</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.plan"><span class="attribute" id="association.plan"><span class="insert">plan</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifierOrMarker"><span class="insert">eIdentifierOrMarker</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.attributes"><span class="attribute" id="association.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+<div class="anexample" count="23">
+<pre class="codeexample"><span class="insert">wasAssociatedWith(ex:agas; ex:a1, ex:ag1, ex:e1, [ex:param1="a", ex:param2="b"])
+  </span></pre>
+
+<p>  Here
+     <span class="name"><span class="delete">quoteId1</span><span class="insert">ex:agas</span></span> is the optional <span class="delete">revision</span><span class="insert">attribution</span> identifier,
+  <span class="name"><span class="delete">ex:blockQuote</span><span class="insert">ex:a1</span></span> is <span class="delete">the identifier of the entity that represents the quote (the partial copy)</span><span class="insert">an activity identifier,</span>
+  <span class="name"><span class="delete">ex:blog</span><span class="insert">ex:ag1</span></span> is the <span class="insert">optional </span>identifier of the <span class="delete">original entity being quoted,</span><span class="insert">agent associated to the activity,</span>
+  <span class="name"><span class="delete">ex:Luc</span><span class="insert">ex:e1</span></span> is the optional identifier of the <span class="insert">plan used by the </span>agent <span class="delete">who performs the quoting,
+  </span><span class="delete">ex:Paul</span><span class="delete"> is the optional identifier</span><span class="insert">in the context</span> of the <span class="delete">agent to whom the original entity is attributed,</span><span class="insert">activity,</span>
+  and <span class="name"><span class="delete">[]</span><span class="delete"> is the (empty)</span><span class="insert"> [ex:param1="a", ex:param2="b"]</span></span><span class="insert"> are</span> optional <span class="delete">set</span><span class="insert">attributes. </span></p><span class="insert">
+The remaining examples show cases where some</span> of <span class="delete">attributes. </span><span class="insert">the optionals are omitted.
+
+  
+  
+</span><pre class="codeexample"><span class="insert">wasAssociatedWith(ex:a1, -, ex:e1)
+wasAssociatedWith(ex:a1, ex:ag1)
+wasAssociatedWith(ex:a1, ex:ag1, ex:e1)
+wasAssociatedWith(ex:a1, ex:ag1, ex:e1, [ex:param1="a", ex:param2="b"])
+wasAssociatedWith(a; ex:a1, -, ex:e1)
+</span></pre>
+</div>
+
+<p><strong><span class="insert">Note:</span></strong><span class="insert">The production </span><code class="content"><a class="grammarRef" href="#prod-associationExpression"><span class="insert">associationExpression</span></a></code><span class="insert"> allows for expressions </span><span class="name"><span class="insert">wasAssociatedWith(a, -, -)</span></span><span class="insert">  and </span><span class="name"><span class="insert">wasAssociatiedWith(-; a, -, -)</span></span><span class="insert">. However, these expressions are not valid in PROV-N, 
+since
+at least one of </span><a href="http://www.w3.org/TR/prov-dm/#association.id"><span class="attribute"><span class="insert">id</span></span></a><span class="insert">, </span><a href="http://www.w3.org/TR/prov-dm/#association.agent"><span class="attribute"><span class="insert">agent</span></span></a><span class="insert">,  </span><a href="http://www.w3.org/TR/prov-dm/#association.plan"><span class="attribute"><span class="insert">plan</span></span></a><span class="insert">, and  </span><a href="http://www.w3.org/TR/prov-dm/#association.attributes"><span class="attribute"><span class="insert">attributes</span></span></a>  <em class="rfc2119" title="must"><span class="insert">must</span></em><span class="insert"> be present.</span></p><span class="delete">
+The remaining examples show cases where some of the optionals are omitted.
+
+
+  </span><span class="delete">wasQuotedFrom(ex:blockQuote,ex:blog)
+wasQuotedFrom(ex:blockQuote,ex:blog,ex:Luc,ex:Paul)
+wasQuotedFrom(ex:blockQuote,ex:blog,-,ex:Paul)
+wasQuotedFrom(ex:blockQuote,ex:blog,ex:Luc,ex:Paul,[])
+wasQuotedFrom(ex:blockQuote,ex:blog, -, -)
+wasQuotedFrom(id,ex:blockQuote,ex:blog,ex:Luc,ex:Paul)
+wasQuotedFrom(-,ex:blockQuote,ex:blog,ex:Luc,-)
+
+</span>
+
+
+</div>
+
+  
+
+
+
+<div id="expression-delegation" class="section">
+<h4><span class="secno">3.3.4 </span><span class="delete">Original Source</span><span class="insert">Delegation</span></h4>
 
 
 <span class="delete">originalSourceExpression</span><span class="delete">&nbsp;::=  
@@ -2186,44 +2517,77 @@
 
 <table class="grammar">
 
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-hadOriginalSourceExpression" name="prod-hadOriginalSourceExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">24</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">hadOriginalSourceExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"hadOriginalSource" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span> ( 
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-delegationExpression" name="prod-delegationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">20</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">delegationExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"actedOnBehalfOf" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></span> ( 
 <span class="delete">( </span><span class="delete">identifier</span><span class="delete"> | </span><span class="delete">-</span><span class="delete"> ) </span><span class="delete">,</span> 
 <span class="delete">eIdentifier</span>
 <span class="delete">,</span> 
 <span class="delete">eIdentifier</span>
 <span class="delete">optional-attribute-values</span>
 <span class="delete">)</span> 
-
-
-
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-gIdentifierOrMarker"><span class="insert">gIdentifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-uIdentifierOrMarker"><span class="insert">uIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></span><span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
 
 </table>
 
-
-
-<div class="anexample">
-    <pre class="codeexample"><span class="delete">hadOriginalSource(src1, </span><span class="insert">hadOriginalSource(src1;  </span>ex:e1, <span class="delete">ex:e2,[ex:param="a"])</span><span class="insert">ex:e2, ex:act, ex:g, ex:u, [ex:param="a"])</span>
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Delegation maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Delegation</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.id"><span class="attribute" id="delegation.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.delegate"><span class="attribute" id="delegation.delegate"><span class="insert">delegate</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.responsible"><span class="attribute" id="delegation.responsible"><span class="insert">responsible</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.activity"><span class="attribute" id="delegation.activity"><span class="insert">activity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker"><span class="insert">aIdentifierOrMarker</span></a></code></td></tr>
+
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.attributes"><span class="attribute" id="delegation.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+    
+
+
+
+<div class="anexample" count="24">
+
+  <pre class="codeexample"><span class="delete">hadOriginalSource(src1, ex:e1, ex:e2,[ex:param="a"])</span><span class="insert">actedOnBehalfOf(del1; ag2, ag1, a, [prov:type="contract"])</span>
   </pre>
 <p>  Here
-    <span class="name">src1</span> is the optional original source identifier,
-  <span class="name">ex:e1</span> is the identifier of the derived entity,
-  <span class="name">ex:e2</span> is the identifier of the original source entity,
-  <span class="name"><span class="insert">ex:act1</span></span><span class="insert"> is the identifier for the activity using and generating </span><span class="name"><span class="insert">ex:e1</span></span><span class="insert"> and  </span><span class="name"><span class="insert">ex:e2</span></span><span class="insert">,
-  </span><span class="name"><span class="insert">ex:g</span></span><span class="insert"> is the identifier for the generation involving the quoted entity  </span><span class="name"><span class="insert">ex:e1</span></span><span class="insert">  and activity  </span><span class="name"><span class="insert">ex:act1</span></span><span class="insert">;
-  </span><span class="name"><span class="insert">ex:u</span></span><span class="insert"> is the identifier for the usage involving the original entity  </span><span class="name"><span class="insert">ex:e2</span></span><span class="insert"> and activity  </span><span class="name"><span class="insert">ex:act1</span></span><span class="insert">, 
-  </span>and <span class="name">[ex:param="a"]</span> is the optional set of attributes. </p>
-The remaining examples show cases where some of the optionals are omitted.
-
-
-  <pre class="codeexample">hadOriginalSource(ex:e1, ex:e2)
+     <span class="name"><span class="delete">src1</span><span class="insert">del1</span></span> is the optional <span class="delete">original source</span><span class="insert">delegation</span> identifier,
+  <span class="name"><span class="delete">ex:e1</span><span class="insert">ag2</span></span> is the identifier <span class="delete">of the derived entity,</span><span class="insert">for the delegate agent,</span>
+  <span class="name"><span class="delete">ex:e2</span><span class="insert">ag1</span></span> is the   identifier of the <span class="delete">original source entity,</span><span class="insert">responsible agent,
+  </span><span class="name"><span class="insert">a</span></span><span class="insert"> is the optional identifier of the activity for which the delegation link holds,</span>
+  and <span class="name"><span class="delete">[ex:param="a"]</span><span class="delete"> is the</span><span class="insert">[prov:type="contract"]</span></span><span class="insert"> are</span> optional <span class="delete">set</span><span class="insert">attributes. </span></p><span class="insert">
+The remaining examples show cases where some</span> of <span class="delete">attributes. </span><span class="delete">
+The remaining examples show cases where some of </span>the optionals are omitted.
+
+
+  
+
+
+<pre class="codeexample"><span class="delete">hadOriginalSource(ex:e1, ex:e2)
 hadOriginalSource(ex:e1, ex:e2,[ex:param="a"])
-<span class="delete">hadOriginalSource(-,ex:e1, ex:e2,[ex:param="a"])
-hadOriginalSource(-,ex:e1, ex:e2)</span><span class="insert">hadOriginalSource(id; ex:e1, ex:e2, ex:act, -, -, [ex:param="a"])</span>
+hadOriginalSource(-,ex:e1, ex:e2,[ex:param="a"])
+hadOriginalSource(-,ex:e1, ex:e2)</span><span class="insert">actedOnBehalfOf(ag1, ag2)
+actedOnBehalfOf(ag1, ag2, a)
+actedOnBehalfOf(ag1, ag2, -, [prov:type="delegation"])
+actedOnBehalfOf(ag2, ag3, a, [prov:type="contract"])
+actedOnBehalfOf(r; ag2, ag3, a, [prov:type="contract"])</span>
 </pre>
 </div>
 
+
+
+
 </div>  
+
+
 <div id="expression-trace" class="section">
 <h4><span class="secno">3.3.5 </span>Trace</h4>
 
@@ -2235,23 +2599,34 @@
 
 
 
-
-
 <table class="grammar">
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-tracedToExpression" name="prod-tracedToExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">25</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">tracedToExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"tracedTo" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-tracedToExpression" name="prod-tracedToExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">22</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">tracedToExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"tracedTo" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
 <span class="delete">,</span>
 </a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier
 <span class="delete">optional-attribute-values</span>
-<span class="delete">)</span>
-
-
-
-</a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-
+<span class="delete">)</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
 </table>
 
-<div class="anexample">
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Trace maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Trace</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#trace.id"><span class="attribute" id="trace.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#trace.entity"><span class="attribute" id="trace.entity"><span class="insert">entity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#trace.ancestor"><span class="attribute" id="trace.ancestor"><span class="insert">ancestor</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#trace.attributes"><span class="attribute" id="trace.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+<div class="anexample" count="25">
     <pre class="codeexample">tracedTo(id,e2,e1,[ex:param="a"])
   </pre>
 <p>  Here
@@ -2269,7 +2644,12 @@
 </div>
 
 </div>
+
+
 </div>
+
+
+
 <div id="component4" class="section"> 
 <h3><span class="secno">3.4 </span>Component 4: Alternate Entities</h3>
 <div id="expression-alternate" class="section">
@@ -2282,21 +2662,34 @@
 
 <table class="grammar">
 
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-alternateExpression" name="prod-alternateExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">26</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">alternateExpression<span class="delete">&nbsp;::=
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-alternateExpression" name="prod-alternateExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">23</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">alternateExpression<span class="delete">&nbsp;::=
   </span><span class="delete">alternateOf</span> 
 <span class="delete">(</span> 
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"alternateOf" "(" </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier 
 <span class="delete">,</span> 
 </a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier 
 <span class="delete">)</span>  
-
-
 </a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
 
 </table>
 
 
-<div class="anexample">
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Alternate maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Alternate</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#alternate.alternate1"><span class="attribute" id="alternate.alternate1"><span class="insert">alternate1</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#alternate.alternate2"><span class="attribute" id="alternate.alternate2"><span class="insert">alternate2</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></code></td></tr>
+
+</tbody></table>
+</div>
+
+<div class="anexample" count="26">
 <pre class="codeexample">alternateOf(tr:WD-prov-dm-20111215,ex:alternate-20111215)
 </pre>
   Here  <span class="name">tr:WD-prov-dm-20111215</span> is alternate for   <span class="name">ex:alternate-20111215</span>.
@@ -2315,7 +2708,7 @@
 
 <table class="grammar">
 
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-specializationExpression" name="prod-specializationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">27</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">specializationExpression<span class="delete">&nbsp;::=
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-specializationExpression" name="prod-specializationExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">24</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">specializationExpression<span class="delete">&nbsp;::=
   </span><span class="delete">specializationOf</span> 
 <span class="delete">(</span> 
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"specializationOf" "(" </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier">eIdentifier 
@@ -2326,7 +2719,25 @@
 
 </table>
 
-<div class="anexample">
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Specialization maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Specialization</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#specialization.specificEntity"><span class="attribute" id="specialization.specificEntity"><span class="insert">specificEntity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#specialization.generalEntity"><span class="attribute" id="specialization.generalEntity"><span class="insert">generalEntity</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></code></td></tr>
+
+</tbody></table>
+</div>
+
+
+
+
+<div class="anexample" count="27">
 <pre class="codeexample">specializationOf(tr:WD-prov-dm-20111215,tr:prov-dm)
 </pre>
     Here  <span class="name">tr:WD-prov-dm-20111215</span> is a specialization of <span class="name">tr:prov-dm</span>.
@@ -2376,7 +2787,7 @@
  <span class="delete">derivationByInsertionFromExpression</span><span class="delete">&nbsp;::=  
 </span><span class="delete">derivedByInsertionFrom</span> 
  <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-namedBundle" name="prod-namedBundle"></a><span class="insert">[</span><span class="prodNo"><span class="insert">32</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">namedBundle</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"bundle" </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span> (
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-namedBundle" name="prod-namedBundle"></a><span class="insert">[</span><span class="prodNo"><span class="insert">31</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">namedBundle</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"bundle" </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span> (
  <span class="delete">identifier</span>
  <span class="delete">,</span>
 <span class="delete">cIdentifier</span>
@@ -2388,11 +2799,14 @@
    <span class="delete">}</span>
 <span class="delete">optional-attribute-values</span>
   <span class="delete">)</span>
+
+
 <span class="prod"><a class="grammarRef" href="#prod-namespaceDeclarations"><span class="insert">namespaceDeclarations</span></a></span><span class="insert">)? (</span><span class="prod"><a class="grammarRef" href="#prod-expression"><span class="insert">expression</span></a></span><span class="insert">)* "endBundle"</span></code></td> </tr> </tbody>
 </table>
 
-<div class="anexample">
-    <pre class="codeexample"><span class="delete"> derivedByInsertionFrom(id,</span><span class="insert">bundle ex:author-view
+<div class="anexample" count="28">
+    <pre class="codeexample"><span class="delete"> derivedByInsertionFrom(id, c1, c, {("k1", v1), ("k2", v2)}, [])  
+  </span><span class="insert">bundle ex:author-view
   agent(ex:Paolo,   [ prov:type='prov:Person' ])
   agent(ex:Simon,   [ prov:type='prov:Person' ])
   ...
@@ -2409,28 +2823,26 @@
 
 
 <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-provenanceLocatorExpression" name="prod-provenanceLocatorExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">33</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">provenanceLocatorExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"hasProvenanceIn" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifierOrMarker"><span class="insert">identifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifierOrMarker"><span class="insert">identifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-iriOrMarker"><span class="insert">iriOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-iriOrMarker"><span class="insert">iriOrMarker</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-iriOrMarker" name="prod-iriOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">34</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">iriOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-IRI_REF"><span class="insert">IRI_REF</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-provenanceLocatorExpression" name="prod-provenanceLocatorExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">32</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">provenanceLocatorExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"hasProvenanceIn" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifierOrMarker"><span class="insert">identifierOrMarker</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifierOrMarker"><span class="insert">identifierOrMarker</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
 </table>
 
 
-<div class="anexample">
-    <pre class="codeexample"><span class="insert">
-bundle bob:bundle4
-  entity(ex:report1, ...)
-endBundle
-
-bundle alice:bundle5
-  entity(ex:report1)
-  hasProvenanceIn(ex:report1, bob:bundle4, -, -, -)   
-  entity(ex:report2, ...)
-  wasDerivedFrom(ex:report2, ex:report1)
-endBundle
-</span></pre><span class="insert">
-
-In bundle </span><span class="name"><span class="insert">alice:bundle5</span></span><span class="insert">, there is a description for entity </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert">, and a provenance locator pointing to bundle </span><span class="name"><span class="insert">bob:bundle4</span></span><span class="insert">. 
-The locator indicates that some provenance description for </span><span class="name"><span class="insert">ex:report1</span></span><span class="insert"> can be found in bundle </span><span class="name"><span class="insert">bob:bundle4</span></span><span class="insert">. 
-</span></div>
+<div class="anexample" count="29">
+<pre class="codeexample"><span class="insert">  hasProvenanceIn(id; ex:report1, bob:bundle4, bob:r1, [ex:param="a"])   
+</span></pre>
+<p>  Here
+    <span class="name">id</span> is the optional <span class="delete">insertion</span><span class="insert">provenance locator</span> identifier,
+  <span class="name"><span class="delete">c1</span><span class="insert">ex:report1</span></span> is <span class="delete">the  identifier for the collection after the insertion,</span><span class="insert">an entity identifier,</span>
+  <span class="name"><span class="delete">c</span><span class="insert">bob:bundle4</span></span> is the   identifier for <span class="delete">the collection before the insertion,</span><span class="insert">a bundle</span>
+  <span class="name"><span class="delete"> {("k1", v1), ("k2", v2)}</span><span class="insert">bob:r1</span></span> is the <span class="insert">identifier for an identifier
+  and </span><span class="name"><span class="insert">[ex:param="a"]</span></span><span class="insert"> is the optional </span>set of <span class="delete">key-value pairs that have been inserted in</span><span class="insert">attributes. </span></p><span class="insert">
+The remaining examples show cases where some of the optionals are omitted.</span>
+  <span class="delete">c</span><span class="delete">,
+    and </span><span class="delete">[]</span><span class="delete"> is the optional (empty) set</span><pre class="codeexample"><span class="insert">hasProvenanceIn(id; ex:report1, bob:bundle4, -)   
+hasProvenanceIn(id; ex:report1, -, -, [ prov:service-uri="http://example.com/service" %% xsd:anyURI ])
+hasProvenanceIn(id; ex:report1, -, bob:r1, [ prov:service-uri="http://example.com/service" %% xsd:anyURI ])
+</span></pre>
+</div>
 
 </div>
 </div>
@@ -2438,56 +2850,57 @@
 
 
 <div id="component6" class="section"> 
-<h3><span class="secno"><span class="insert">3.6 </span></span><span class="insert">Component 6: Collections</span></h3><span class="insert">
-
-
-In the productions in this section, nonterminals </span><span class="nonterminal"><span class="insert">keyValuePairs</span></span><span class="insert"> and </span><span class="nonterminal"><span class="insert">keySet</span></span><span class="insert"> are defined as follows.
-
-
-
-</span><div id="expression-collection-insertion" class="section">
+<h3><span class="secno"><span class="insert">3.6 </span></span><span class="insert">Component 6: Collections</span></h3>
+
+
+
+
+
+<div id="expression-collection-insertion" class="section">
 <h4><span class="secno"><span class="insert">3.6.1 </span></span><span class="insert">Insertion</span></h4>
 
 
 
 <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-insertionExpression" name="prod-insertionExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">28</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">insertionExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"derivedByInsertionFrom" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-keyEntitySet"><span class="insert">keyEntitySet</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-keyEntitySet" name="prod-keyEntitySet"></a><span class="insert">[</span><span class="prodNo"><span class="insert">29</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">keyEntitySet</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"{" "(" </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span><span class="insert"> ")" ( "," "(" </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span><span class="insert"> ")" )* "}"</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-insertionExpression" name="prod-insertionExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">25</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">insertionExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"derivedByInsertionFrom" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-keyEntitySet"><span class="insert">keyEntitySet</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-keyEntitySet" name="prod-keyEntitySet"></a><span class="insert">[</span><span class="prodNo"><span class="insert">26</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">keyEntitySet</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"{" "(" </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span><span class="insert"> ")" ( "," "(" </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span><span class="insert"> ")" )* "}"</span></code></td> </tr> </tbody>
 </table>
 
-<div class="anexample">
-    <pre class="codeexample"><span class="insert"> derivedByInsertionFrom(id;</span> c1, c, {("k1", v1), ("k2", v2)}, [])  
-  </pre>
-<p>  Here
-    <span class="name">id</span> is the optional insertion identifier,
-  <span class="name">c1</span> is the  identifier for the collection after the insertion,
-  <span class="name">c</span> is the  identifier for the collection before the insertion,
-  <span class="name"> {("k1", v1), ("k2", v2)}</span> is the set of key-value pairs that have been inserted in
-  <span class="name">c</span>,
-    and <span class="name">[]</span> is the optional (empty) set of attributes. </p>
-The remaining examples show cases where some of the optionals are omitted.
-
-  <pre class="codeexample"> derivedByInsertionFrom(c1, c, {("k1", v1), ("k2", v2)})  
+
+<p><span class="insert">The following table summarizes how each constituent</span> of <span class="delete">attributes. </span><span class="insert">a PROV-DM Insertion maps to a non-terminal.</span></p>
+<span class="delete">The remaining examples show cases where some of the optionals are omitted.
+
+  </span><span class="delete"> derivedByInsertionFrom(c1, c, {("k1", v1), ("k2", v2)})  
  derivedByInsertionFrom(c1, c, {("k1", v1)})  
  derivedByInsertionFrom(c1, c, {("k1", v1), ("k2", v2)}, [])
-</pre>
+</span><div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Insertion</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#insertion.id"><span class="attribute" id="insertion.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#insertion.after"><span class="attribute" id="insertion.after"><span class="insert">after</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#insertion.before"><span class="attribute" id="insertion.before"><span class="insert">before</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#insertion.key-entity-set"><span class="attribute" id="insertion.key-entity-set"><span class="insert">key-entity-set</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-keyEntitySet"><span class="insert">keyEntitySet</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#insertion.attributes"><span class="attribute" id="insertion.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
 </div>
 
 
-</div>
-
-<div id="expression-collection-removal" class="section">
-<h4><span class="secno"><span class="delete">3.5.2</span><span class="insert">3.6.2</span> </span>Removal</h4>
+
+
+
+<span class="delete">3.5.2 </span><span class="delete">Removal</span>
 
 
  <span class="delete">derivationByRemovalFromExpression</span><span class="delete">&nbsp;::=  
 </span><span class="delete">derivedByRemovalFrom</span> 
- 
-
-
-
-<table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-removalExpression" name="prod-removalExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">30</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">removalExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"derivedByRemovalFrom" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," "{" </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span> (
+ <span class="delete">(</span>
  <span class="delete">identifier</span>
  <span class="delete">,</span>
 <span class="delete">cIdentifier</span>
@@ -2502,15 +2915,64 @@
   
 
 
-<span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span><span class="insert"> )* "}" </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-</table>
-
-
-<div class="anexample">
-    <pre class="codeexample"> <span class="delete">derivedByRemovalFrom(id,</span><span class="insert">derivedByRemovalFrom(id;</span> c3, c, {"k1", "k3"}, [])  
+<div class="anexample" count="30">
+    <pre class="codeexample"> <span class="delete">derivedByRemovalFrom(id, c3,</span><span class="insert">derivedByInsertionFrom(id; c1,</span> c, <span class="delete">{"k1", "k3"},</span><span class="insert">{("k1", v1), ("k2", v2)},</span> [])  
   </pre>
 <p>  Here
-    <span class="name">id</span> is the optional removal identifier,
+    <span class="name">id</span> is the optional <span class="insert">insertion identifier,
+  </span><span class="name"><span class="insert">c1</span></span><span class="insert"> is the  identifier for the collection after the insertion,
+  </span><span class="name"><span class="insert">c</span></span><span class="insert"> is the  identifier for the collection before the insertion,
+  </span><span class="name"><span class="insert"> {("k1", v1), ("k2", v2)}</span></span><span class="insert"> is the set of key-value pairs that have been inserted in
+  </span><span class="name"><span class="insert">c</span></span><span class="insert">,
+    and </span><span class="name"><span class="insert">[]</span></span><span class="insert"> is the optional (empty) set of attributes. </span></p><span class="insert">
+The remaining examples show cases where some of the optionals are omitted.
+
+  </span><pre class="codeexample"><span class="insert"> derivedByInsertionFrom(c1, c, {("k1", v1), ("k2", v2)})  
+ derivedByInsertionFrom(c1, c, {("k1", v1)})  
+ derivedByInsertionFrom(c1, c, {("k1", v1), ("k2", v2)}, [])
+</span></pre>
+</div>
+
+
+</div>
+
+<div id="expression-collection-removal" class="section">
+<h4><span class="secno"><span class="insert">3.6.2 </span></span><span class="insert">Removal</span></h4>
+
+
+
+<table class="grammar">
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-removalExpression" name="prod-removalExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">27</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">removalExpression</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"derivedByRemovalFrom" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-keySet"><span class="insert">keySet</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-keySet" name="prod-keySet"></a><span class="insert">[</span><span class="prodNo"><span class="insert">28</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">keySet</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"{" </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span><span class="insert"> ( "," </span><span class="prod"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></span><span class="insert"> )* "}"</span></code></td> </tr> </tbody>
+</table>
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Removal maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Removal</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#removal.id"><span class="attribute" id="removal.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#removal.after"><span class="attribute" id="removal.after"><span class="insert">after</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#removal.before"><span class="attribute" id="removal.before"><span class="insert">before</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#removal.key-set"><span class="attribute" id="removal.key-set"><span class="insert">key-set</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-keySet"><span class="insert">keySet</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#removal.attributes"><span class="attribute" id="removal.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+<div class="anexample" count="31">
+    <pre class="codeexample"><span class="insert"> derivedByRemovalFrom(id; c3, c, {"k1", "k3"}, [])  
+  </span></pre>
+<p><span class="insert">  Here
+    </span><span class="name"><span class="insert">id</span></span><span class="insert"> is the optional </span>removal identifier,
   <span class="name">c1</span> is the  identifier for the collection after the removal,
   <span class="name">c</span> is the  identifier for the collection before the removal,
   <span class="name"> {("k1", v1), ("k2", v2)}</span> is the set of key-value pairs that have been removed from
@@ -2535,24 +2997,47 @@
 
 
 <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-membershipExpression" name="prod-membershipExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">31</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">membershipExpression<span class="delete">&nbsp;::=  
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-membershipExpression" name="prod-membershipExpression"></a><span class="insert">[</span><span class="prodNo"><span class="insert">29</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">membershipExpression<span class="delete">&nbsp;::=  
 </span><span class="delete">isMemberOf</span> 
- </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"memberOf" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-keyEntitySet"><span class="insert">keyEntitySet</span></a></span> (
+ </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"memberOf" "(" </span><span class="prod"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-cIdentifier"><span class="insert">cIdentifier</span></a></span><span class="insert"> "," </span><span class="prod"><a class="grammarRef" href="#prod-keyEntitySet"><span class="insert">keyEntitySet</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-complete"><span class="insert">complete</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-complete" name="prod-complete"></a><span class="insert">[</span><span class="prodNo"><span class="insert">30</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">complete</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content">(
  <span class="delete">identifier</span>
  <span class="delete">,</span>
-<span class="delete">cIdentifier</span>
+<span class="insert"> "," ( "true" | "false" | "-" ) )?</span></code></td> </tr> </tbody>
+</table>
+
+
+<p><span class="insert">The following table summarizes how each constituent of a PROV-DM Membership maps to a non-terminal.</span></p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tbody><tr><td><b><span class="insert">Membership</span></b></td><td><b><span class="insert">Non-Terminal</span></b></td></tr>
+<tr><td style="border-width: 0px; "></td><td style="border-width: 0px; "></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#membership.id"><span class="attribute" id="membership.id"><span class="insert">id</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier"><span class="insert">optionalIdentifier</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#membership.collection"><span class="attribute" id="membership.collection"><span class="insert">collection</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-cIdentifier">cIdentifier
  <span class="delete">,</span>
   <span class="delete">{</span>
   <span class="delete">keyValuePairs</span>
    <span class="delete">}</span>
 <span class="delete">optional-attribute-values</span>
-  <span class="insert"> "," ( "true" | "false" </span>)
-  
-<span class="insert"> )? </span><span class="prod"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></span><span class="insert"> ")"</span></code></td> </tr> </tbody>
-</table>
-
-
-<div class="anexample">
+  <span class="delete">)</span>
+  </a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#membership.key-entity-set"><span class="attribute" id="membership.key-entity-set"><span class="insert">key-entity-set</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-keyEntitySet"><span class="insert">keyEntitySet</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#membership.complete"><span class="attribute" id="membership.complete"><span class="insert">complete</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-complete"><span class="insert">complete</span></a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#membership.attributes"><span class="attribute" id="membership.attributes"><span class="insert">attributes</span></span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs"><span class="insert">optionalAttributeValuePairs</span></a></code></td></tr>
+</tbody></table>
+</div>
+
+
+
+
+
+
+<div class="anexample" count="32">
     <pre class="codeexample">   <span class="delete">memberOf(mid,</span><span class="insert">memberOf(mId,</span> c, {("k4", v4), ("k5", v5)}, [])
   </pre>
 <p>  Here
@@ -2564,9 +3049,17 @@
 The remaining examples show cases where some of the optionals are omitted.
 
 
-  <pre class="codeexample">   memberOf(c3, {("k4", v4), ("k5", v5)})
-   memberOf(c3, {("k4", v4)})
-   memberOf(c3, {("k4", v4), ("k5", v5)},[])  
+  
+
+
+<pre class="codeexample">   memberOf(c3, {("k4", v4), ("k5", v5)})
+   
+memberOf(c3, {("k4", v4)})
+   
+memberOf(c3, {("k4", <span class="insert">v4)}, false)
+memberOf(c3, {("k4", v4)}, true)
+memberOf(c3, {("k4", </span>v4), ("k5", v5)},[])<span class="insert">  
+memberOf(c3, {("k4", v4), ("k5", v5)},true, [])</span>  
 </pre>
 </div>
 
@@ -2647,10 +3140,10 @@
 
 <table class="grammar">
 
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-namespaceDeclarations" name="prod-namespaceDeclarations"></a><span class="insert">[</span><span class="prodNo"><span class="insert">53</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">namespaceDeclarations</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-defaultNamespaceDeclaration"><span class="insert">defaultNamespaceDeclaration</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-namespaceDeclaration"><span class="insert">namespaceDeclaration</span></a></span><span class="insert"> ) (</span><span class="prod"><a class="grammarRef" href="#prod-namespaceDeclaration"><span class="insert">namespaceDeclaration</span></a></span><span class="insert">)*</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-namespaceDeclaration" name="prod-namespaceDeclaration"></a><span class="insert">[</span><span class="prodNo"><span class="insert">54</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">namespaceDeclaration</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"prefix" </span><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-namespace"><span class="insert">namespace</span></a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-defaultNamespaceDeclaration" name="prod-defaultNamespaceDeclaration"></a><span class="insert">[</span><span class="prodNo"><span class="insert">55</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">defaultNamespaceDeclaration</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"default" </span><span class="prod"><a class="grammarRef" href="#prod-IRI_REF"><span class="insert">IRI_REF</span></a></span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-IRI_REF" name="prod-IRI_REF"></a><span class="insert">[</span><span class="prodNo"><span class="insert">62</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">IRI_REF</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"&lt;" ( [^&lt;&gt;"{}|^`\] - [#0000- ] | </span><span class="prod"><a class="grammarRef" href="#prod-UCHAR"><span class="insert">UCHAR</span></a></span><span class="insert"> )* "&gt;"</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-namespaceDeclarations" name="prod-namespaceDeclarations"></a><span class="insert">[</span><span class="prodNo"><span class="insert">51</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">namespaceDeclarations</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-defaultNamespaceDeclaration"><span class="insert">defaultNamespaceDeclaration</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-namespaceDeclaration"><span class="insert">namespaceDeclaration</span></a></span><span class="insert"> ) (</span><span class="prod"><a class="grammarRef" href="#prod-namespaceDeclaration"><span class="insert">namespaceDeclaration</span></a></span><span class="insert">)*</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-namespaceDeclaration" name="prod-namespaceDeclaration"></a><span class="insert">[</span><span class="prodNo"><span class="insert">52</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">namespaceDeclaration</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"prefix" </span><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-namespace"><span class="insert">namespace</span></a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-defaultNamespaceDeclaration" name="prod-defaultNamespaceDeclaration"></a><span class="insert">[</span><span class="prodNo"><span class="insert">53</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">defaultNamespaceDeclaration</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"default" </span><span class="prod"><a class="grammarRef" href="#prod-IRI_REF"><span class="insert">IRI_REF</span></a></span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-IRI_REF" name="prod-IRI_REF"></a><span class="insert">[</span><span class="prodNo"><span class="insert">60</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">IRI_REF</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"&lt;" ( [^&lt;&gt;"{}|^`\] - [#0000- ] | </span><span class="prod"><a class="grammarRef" href="#prod-UCHAR"><span class="insert">UCHAR</span></a></span><span class="insert"> )* "&gt;"</span></code></td> </tr> </tbody>
 
 </table>
 
@@ -2672,7 +3165,7 @@
 </ul>
 <p>A PROV-N document <em class="rfc2119" title="must not">must not</em> redeclare prefixes <span class="name">prov</span> and <span class="name">xsd</span>.</p>
 
-<div class="anexample" id="anexample-namespace">
+<div class="anexample" id="anexample-namespace" count="33">
 <p>The following example declares three namespaces, one default, and two with explicit prefixes <span class="name">ex1</span> and <span class="name">ex2</span>.</p>
 <pre class="codeexample"><span class="delete">container</span><span class="insert">bundle</span>
   default &lt;http://example.org/0/&gt;
@@ -2709,7 +3202,7 @@
 
 
 
-<p><span class="insert">A PROV qualified name </span><a class="grammarRef" href="#term-prov_n_LL-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a><span class="insert"> has</span> a <span class="delete">generation)</span>
+<p><span class="insert">A PROV qualified name </span><code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></code><span class="insert"> has</span> a <span class="delete">generation)</span>
 <span class="delete">uIdentifier</span><span class="delete">::=  </span><span class="delete">identifier</span> <span class="delete">(intended to denote a usage)</span>
 <span class="delete">nIdentifier</span><span class="delete">::=  </span><span class="delete">identifier</span> <span class="delete">(intended to denote a note)</span>
 <span class="delete">cIdentifier</span><span class="delete">::=  </span><span class="delete">identifier</span> <span class="delete">(intended to denote a collection)</span>
@@ -2719,10 +3212,10 @@
 </span>
 <span class="delete">prefix</span> <span class="delete">:</span>
  <span class="delete">localPart</span><span class="delete">  | </span><span class="delete">:</span> <span class="delete">localPart</span>
-<span class="delete">prefix</span><span class="delete"> &nbsp;::= </span><span class="delete">a name without colon compatible with the </span><span class="delete">NC_NAME</span><span class="delete"> production</span><span class="insert">more permissive syntax then XML's </span><a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-QName"><span class="insert">QName</span></a> [<cite><a class="bibref" rel="biblioentry" href="#bib-XML-NAMES">XML-NAMES</a></cite>]
+<span class="delete">prefix</span><span class="delete"> &nbsp;::= </span><span class="delete">a name without colon compatible with the </span><span class="delete">NC_NAME</span><span class="delete"> production</span><span class="insert">more permissive syntax then XML's </span><code class="content"><a href="http://www.w3.org/TR/2009/REC-xml-names-20091208/#NT-QName"><span class="insert">QName</span></a></code> [<cite><a class="bibref" rel="biblioentry" href="#bib-XML-NAMES">XML-NAMES</a></cite>]
 <span class="delete">localPart</span><span class="delete"> &nbsp;::= </span><span class="delete">a name compatible with the
 </span><span class="delete">reference</span><span class="delete"> production</span><span class="insert">
-and SPARQL </span><a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#rPrefixedName"><span class="insert">PrefixedName</span></a> [<cite><span class="delete">RDFA-CORE</span><a class="bibref" rel="biblioentry" href="#bib-RDF-SPARQL-QUERY"><span class="insert">RDF-SPARQL-QUERY</span></a></cite><span class="delete">]</span>
+and SPARQL </span><code class="content"><a href="http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/#rPrefixedName"><span class="insert">PrefixedName</span></a></code> [<cite><span class="delete">RDFA-CORE</span><a class="bibref" rel="biblioentry" href="#bib-RDF-SPARQL-QUERY"><span class="insert">RDF-SPARQL-QUERY</span></a></cite><span class="delete">]</span>
 
 
 
@@ -2740,35 +3233,35 @@
 
 
 
-<p><span class="insert">Qualified names </span><a class="grammarRef" href="#term-prov_n_LL-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a><span class="insert"> consist of a prefix and a local part. Prefixes follow the production </span><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX"><span class="insert">PN_PREFIX</span></a><span class="insert"> defined by SPARQL [</span><cite><a class="bibref" rel="biblioentry" href="#bib-RDF-SPARQL-QUERY"><span class="insert">RDF-SPARQL-QUERY</span></a></cite><span class="insert">]. Local parts have to be conformant with </span><a class="grammarRef" href="#term-prov_n_LL-PN_LOCAL"><span class="insert">PN_LOCAL</span></a><span class="insert">, which extends the original SPARQL </span><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_LOCAL"><span class="insert">PN_LOCAL</span></a><span class="insert"> definition by allowing further characters and %-escaped charaters (see </span><a class="grammarRef" href="#term-prov_n_LL-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a><span class="insert">).</span></p>
+<p><span class="insert">Qualified names </span><code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></code><span class="insert"> consist of a prefix and a local part. Prefixes follow the production </span><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX"><span class="insert">PN_PREFIX</span></a></code><span class="insert"> defined by SPARQL [</span><cite><a class="bibref" rel="biblioentry" href="#bib-RDF-SPARQL-QUERY"><span class="insert">RDF-SPARQL-QUERY</span></a></cite><span class="insert">]. Local parts have to be conformant with </span><code class="content"><a class="grammarRef" href="#prod-PN_LOCAL"><span class="insert">PN_LOCAL</span></a></code><span class="insert">, which extends the original SPARQL </span><code class="content"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_LOCAL"><span class="insert">PN_LOCAL</span></a></code><span class="insert"> definition by allowing further characters and %-escaped charaters (see </span><code class="content"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a></code><span class="insert">).</span></p>
 
  
 <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-eIdentifier" name="prod-eIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">35</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">eIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-aIdentifier" name="prod-aIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">36</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">aIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-agIdentifier" name="prod-agIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">37</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">agIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-gIdentifier" name="prod-gIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">38</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">gIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-uIdentifier" name="prod-uIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">39</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">uIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-cIdentifier" name="prod-cIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">40</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">cIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
-
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-eIdentifierOrMarker" name="prod-eIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">41</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">eIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-aIdentifierOrMarker" name="prod-aIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">42</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">aIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-agIdentifierOrMarker" name="prod-agIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">43</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">agIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-gIdentifierOrMarker" name="prod-gIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">44</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">gIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-gIdentifier"><span class="insert">gIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-uIdentifierOrMarker" name="prod-uIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">45</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">uIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-uIdentifier"><span class="insert">uIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-identifier" name="prod-identifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">46</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">identifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span></code></td> </tr> </tbody>
-
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-QUALIFIED_NAME" name="prod-QUALIFIED_NAME"></a><span class="insert">[</span><span class="prodNo"><span class="insert">57</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">QUALIFIED_NAME</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-PN_PREFIX"><span class="insert">PN_PREFIX</span></a></span><span class="insert"> ":" )? </span><span class="prod"><a class="grammarRef" href="#prod-PN_LOCAL"><span class="insert">PN_LOCAL</span></a></span><br><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-PN_PREFIX"><span class="insert">PN_PREFIX</span></a></span><span class="insert"> ":"</span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-PN_LOCAL" name="prod-PN_LOCAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">75</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">PN_LOCAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS_U"><span class="insert">PN_CHARS_U</span></a></span><span class="insert"> | [0-9] | </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a></span><span class="insert"> ) ( ( </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS"><span class="insert">PN_CHARS</span></a></span><span class="insert"> | "." | </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a></span><span class="insert"> )* ( </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS"><span class="insert">PN_CHARS</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a></span><span class="insert"> ) )?</span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-PN_CHARS_OTHERS" name="prod-PN_CHARS_OTHERS"></a><span class="insert">[</span><span class="prodNo"><span class="insert">76</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">PN_CHARS_OTHERS</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-PERCENT"><span class="insert">PERCENT</span></a></span><br><span class="insert"> | "/"</span><br><span class="insert"> | "@"</span><br><span class="insert"> | "~"</span><br><span class="insert"> | "&amp;"</span><br><span class="insert"> | "+"</span><br><span class="insert"> | "?"</span><br><span class="insert"> | "#"</span><br><span class="insert"> | "$"</span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-PERCENT" name="prod-PERCENT"></a><span class="insert">[</span><span class="prodNo"><span class="insert">77</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">PERCENT</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"%" </span><span class="prod"><a class="grammarRef" href="#prod-HEX"><span class="insert">HEX</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-HEX"><span class="insert">HEX</span></a></span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-HEX" name="prod-HEX"></a><span class="insert">[</span><span class="prodNo"><span class="insert">78</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">HEX</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">[0-9]</span><br><span class="insert"> | [A-F]</span><br><span class="insert"> | [a-f]</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-eIdentifier" name="prod-eIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">33</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">eIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-aIdentifier" name="prod-aIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">34</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">aIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-agIdentifier" name="prod-agIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">35</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">agIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-gIdentifier" name="prod-gIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">36</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">gIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-uIdentifier" name="prod-uIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">37</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">uIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-cIdentifier" name="prod-cIdentifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">38</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">cIdentifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-identifier"><span class="insert">identifier</span></a></span></code></td> </tr> </tbody>
+
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-eIdentifierOrMarker" name="prod-eIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">39</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">eIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-eIdentifier"><span class="insert">eIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-aIdentifierOrMarker" name="prod-aIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">40</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">aIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-aIdentifier"><span class="insert">aIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-agIdentifierOrMarker" name="prod-agIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">41</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">agIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-agIdentifier"><span class="insert">agIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-gIdentifierOrMarker" name="prod-gIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">42</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">gIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-gIdentifier"><span class="insert">gIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-uIdentifierOrMarker" name="prod-uIdentifierOrMarker"></a><span class="insert">[</span><span class="prodNo"><span class="insert">43</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">uIdentifierOrMarker</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="#prod-uIdentifier"><span class="insert">uIdentifier</span></a></span><span class="insert"> | "-" )</span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-identifier" name="prod-identifier"></a><span class="insert">[</span><span class="prodNo"><span class="insert">44</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">identifier</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span></code></td> </tr> </tbody>
+
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-QUALIFIED_NAME" name="prod-QUALIFIED_NAME"></a><span class="insert">[</span><span class="prodNo"><span class="insert">55</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">QUALIFIED_NAME</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_LOCAL"><span class="insert">PN_PREFIX</span></a></span><span class="insert"> ":" )? </span><span class="prod"><a class="grammarRef" href="#prod-PN_LOCAL"><span class="insert">PN_LOCAL</span></a></span><br><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_LOCAL"><span class="insert">PN_PREFIX</span></a></span><span class="insert"> ":"</span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-PN_LOCAL" name="prod-PN_LOCAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">73</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">PN_LOCAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( </span><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_CHARS_U"><span class="insert">PN_CHARS_U</span></a></span><span class="insert"> | [0-9] | </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a></span><span class="insert"> ) ( ( </span><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_CHARS"><span class="insert">PN_CHARS</span></a></span><span class="insert"> | "." | </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a></span><span class="insert"> )* ( </span><span class="prod"><a class="grammarRef" href="http://www.w3.org/TR/rdf-sparql-query/#rPN_CHARS"><span class="insert">PN_CHARS</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-PN_CHARS_OTHERS"><span class="insert">PN_CHARS_OTHERS</span></a></span><span class="insert"> ) )?</span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-PN_CHARS_OTHERS" name="prod-PN_CHARS_OTHERS"></a><span class="insert">[</span><span class="prodNo"><span class="insert">74</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">PN_CHARS_OTHERS</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-PERCENT"><span class="insert">PERCENT</span></a></span><br><span class="insert"> | "/"</span><br><span class="insert"> | "@"</span><br><span class="insert"> | "~"</span><br><span class="insert"> | "&amp;"</span><br><span class="insert"> | "+"</span><br><span class="insert"> | "?"</span><br><span class="insert"> | "#"</span><br><span class="insert"> | "$"</span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-PERCENT" name="prod-PERCENT"></a><span class="insert">[</span><span class="prodNo"><span class="insert">75</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">PERCENT</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"%" </span><span class="prod"><a class="grammarRef" href="#prod-HEX"><span class="insert">HEX</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-HEX"><span class="insert">HEX</span></a></span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-HEX" name="prod-HEX"></a><span class="insert">[</span><span class="prodNo"><span class="insert">76</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">HEX</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">[0-9]</span><br><span class="insert"> | [A-F]</span><br><span class="insert"> | [a-f]</span></code></td> </tr> </tbody>
 
 </table>
 
 
 
-<div class="anexample" id="anexample-qualified-name">
+<div class="anexample" id="anexample-qualified-name" count="34">
 <p>Examples of articles on the BBC Web site seen as  entities.</p>
 <pre class="codeexample"><span class="delete">container</span><span class="insert">bundle</span>
   prefix bbc &lt;http://www.bbc.co.uk/&gt;
@@ -2787,7 +3280,7 @@
 
 
 
-<div class="anexample" id="anexample-qualified-name2">
+<div class="anexample" id="anexample-qualified-name2" count="35">
 <p>Examples of entities with declared and default namespace.</p>
 <pre class="codeexample"><span class="delete">container</span><span class="insert">bundle</span>
   default &lt;http://example.org/2/&gt;
@@ -2806,7 +3299,7 @@
 
 
 
-<p><b>Note:</b>The productions for <span class="nonterminal">qualifiedName</span> and <span class="nonterminal">prefix</span> are conflicting.  In the context of a <span class="nonterminal">namespaceDeclaration</span>, a parser should give precedence to the production for <span class="nonterminal">prefix</span>.
+<p><b>Note:</b>The productions for   <code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME">qualifiedName</a></code> and   <code class="content"><a class="grammarRef" href="#http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a></code> are conflicting.  In the context of a <code class="content"><a class="grammarRef" href="#prod-namespaceDeclaration">namespaceDeclaration</a></code>, a parser should give precedence to the production for <code class="content"><a class="grammarRef" href="#http://www.w3.org/TR/rdf-sparql-query/#rPN_PREFIX">prefix</a></code>.
 </p>
 
 
@@ -2824,7 +3317,7 @@
 
 
 <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-attribute" name="prod-attribute"></a><span class="insert">[</span><span class="prodNo"><span class="insert">47</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">attribute<span class="delete">&nbsp;::=  </span><span class="delete">qualifiedName</span>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-attribute" name="prod-attribute"></a><span class="insert">[</span><span class="prodNo"><span class="insert">45</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">attribute<span class="delete">&nbsp;::=  </span><span class="delete">qualifiedName</span>
 
 
 </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span></code></td> </tr> </tbody>
@@ -2839,6 +3332,8 @@
 </li><li>  <span class="name">prov:role</span>
 </li><li>  <span class="name">prov:type</span>
 </li><li>  <span class="name">prov:value</span>
+</li><li>  <span class="name"><span class="insert">prov:provenance-uri</span></span>
+</li><li>  <span class="name"><span class="insert">prov:service-uri</span></span>
 </li></ol>
 
 
@@ -2857,13 +3352,13 @@
 
 
 <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-literal" name="prod-literal"></a><span class="insert">[</span><span class="prodNo"><span class="insert">49</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">literal</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-typedLiteral">typedLiteral</a></span><br> | <span class="prod"><a class="grammarRef" href="#prod-convenienceNotation">convenienceNotation 
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-literal" name="prod-literal"></a><span class="insert">[</span><span class="prodNo"><span class="insert">47</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">literal</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-typedLiteral">typedLiteral</a></span><br> | <span class="prod"><a class="grammarRef" href="#prod-convenienceNotation">convenienceNotation 
 </a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-typedLiteral" name="prod-typedLiteral"></a><span class="insert">[</span><span class="prodNo"><span class="insert">50</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">typedLiteral<span class="delete"> ::= </span><span class="delete">quotedString</span> <span class="delete">%%</span> </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a></span><span class="insert"> "%%" </span><span class="prod"><a class="grammarRef" href="#prod-datatype">datatype
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-typedLiteral" name="prod-typedLiteral"></a><span class="insert">[</span><span class="prodNo"><span class="insert">48</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">typedLiteral<span class="delete"> ::= </span><span class="delete">quotedString</span> <span class="delete">%%</span> </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a></span><span class="insert"> "%%" </span><span class="prod"><a class="grammarRef" href="#prod-datatype">datatype
 </a></span></code></td> </tr> </tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-datatype" name="prod-datatype"></a><span class="insert">[</span><span class="prodNo"><span class="insert">51</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">datatype<span class="delete"> ::= </span><span class="delete">qualifiedName</span> </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span></code></td> </tr> </tbody>
-<tbody><tr valign="baseline"><td></td><td><em><span class="insert">where </span><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a><span class="insert"> is</span> listed in Table <a href="#permitted-datatypes">permitted-datatypes</a></em></td></tr></tbody>
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-convenienceNotation" name="prod-convenienceNotation"></a><span class="insert">[</span><span class="prodNo"><span class="insert">52</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">convenienceNotation</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a></span><br>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-datatype" name="prod-datatype"></a><span class="insert">[</span><span class="prodNo"><span class="insert">49</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod">datatype<span class="delete"> ::= </span><span class="delete">qualifiedName</span> </code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span></code></td> </tr> </tbody>
+<tbody><tr valign="baseline"><td></td><td></td><td></td><td><em><span class="insert">where</span></em> <a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a> <em><span class="insert">is</span> listed in Table <a href="#permitted-datatypes">permitted-datatypes</a></em></td></tr></tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-convenienceNotation" name="prod-convenienceNotation"></a><span class="insert">[</span><span class="prodNo"><span class="insert">50</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">convenienceNotation</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a></span><br>
 <span class="delete">convenienceNotation</span><span class="delete"> &nbsp;::= </span><span class="delete">stringLiteral</span> | <span class="delete">intLiteral</span><span class="prod"><a class="grammarRef" href="#prod-INT_LITERAL"><span class="insert">INT_LITERAL</span></a></span><br>
 <span class="delete">stringLiteral</span><span class="delete"> ::= </span><span class="delete">quotedString</span>
 <span class="delete">quotedString</span><span class="delete"> ::= </span><span class="delete">a finite sequence of characters in which " (#x22) and \ (#x5C) occur only in pairs of the form \" (#x5C, #x22) and \\ (#x5C,
@@ -2872,24 +3367,24 @@
 
 
 <span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME_LITERAL"><span class="insert">QUALIFIED_NAME_LITERAL</span></a></span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-STRING_LITERAL" name="prod-STRING_LITERAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">63</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">STRING_LITERAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">'"' ( ( [^"\
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-STRING_LITERAL" name="prod-STRING_LITERAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">61</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">STRING_LITERAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">'"' ( ( [^"\
 
 ] ) | </span><span class="prod"><a class="grammarRef" href="#prod-ECHAR"><span class="insert">ECHAR</span></a></span><span class="insert"> | </span><span class="prod"><a class="grammarRef" href="#prod-UCHAR"><span class="insert">UCHAR</span></a></span><span class="insert"> )* '"'</span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-INT_LITERAL" name="prod-INT_LITERAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">64</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">INT_LITERAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">("-")? (</span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert">)+</span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-QUALIFIED_NAME_LITERAL" name="prod-QUALIFIED_NAME_LITERAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">65</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">QUALIFIED_NAME_LITERAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"'" </span><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span><span class="insert"> "'"</span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-INT_LITERAL" name="prod-INT_LITERAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">62</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">INT_LITERAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">("-")? (</span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert">)+</span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-QUALIFIED_NAME_LITERAL" name="prod-QUALIFIED_NAME_LITERAL"></a><span class="insert">[</span><span class="prodNo"><span class="insert">63</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">QUALIFIED_NAME_LITERAL</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"'" </span><span class="prod"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">QUALIFIED_NAME</span></a></span><span class="insert"> "'"</span></code></td> </tr> </tbody>
 </table>
 
 
 
 
 <p>The non terminals <span class="delete">stringLiteral</span>
-<a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a><span class="insert">,
-</span><a class="grammarRef" href="#prod-INT_LITERAL"><span class="insert">INT_LITERAL</span></a><span class="insert">,</span> and
-<span class="delete">intLiteral</span><a class="grammarRef" href="#prod-QUALIFIED_NAME_LITERAL"><span class="insert">QUALIFIED_NAME_LITERAL</span></a>
+<code class="content"><a class="grammarRef" href="#prod-STRING_LITERAL"><span class="insert">STRING_LITERAL</span></a></code><span class="insert">,
+</span><code class="content"><a class="grammarRef" href="#prod-INT_LITERAL"><span class="insert">INT_LITERAL</span></a></code><span class="insert">,</span> and
+<span class="delete">intLiteral</span><code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME_LITERAL"><span class="insert">QUALIFIED_NAME_LITERAL</span></a></code>
 are syntactic sugar for quoted strings with datatype  
-<a href="http://www.w3.org/TR/xmlschema-2/#string"><span class="name">xsd:string</span></a><span class="delete"> and </span><span class="insert">,
-</span><a href="http://www.w3.org/TR/xmlschema-2/#int"><span class="name">xsd:int</span></a>, <span class="insert">and
-</span><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">prov:QUALIFIED_NAME</span></a>
+<code class="content"><a href="http://www.w3.org/TR/xmlschema-2/#string"><span class="name">xsd:string</span></a><span class="delete"> and </span></code><span class="insert">,
+</span><code class="content"><a href="http://www.w3.org/TR/xmlschema-2/#int"><span class="name">xsd:int</span></a></code>, <span class="insert">and
+</span><code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">prov:QUALIFIED_NAME</span></a></code>
 respectively.
 </p>
 
@@ -2913,10 +3408,10 @@
 <tr><td><a href="http://www.w3.org/TR/xmlschema-2/#unsignedByte">xsd:unsignedByte</a></td> <td><a href="http://www.w3.org/TR/xmlschema-2/#anyURI">xsd:QName</a></td><td></td></tr>
 </tbody></table>
 
-<p><b>Note:</b>The productions for <span class="delete">qualifiedName</span><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">prov:QUALIFIED_NAME</span></a> and <span class="delete">intLiteral</span>
-<a class="grammarRef" href="#prod-INT_LITERAL"><span class="insert">INT_LITERAL</span></a> are conflicting.  In the context of a <span class="delete">Literal</span> 
-<a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a>, a parser should give precedence to the production for <span class="delete">intLiteral</span>
-<a class="grammarRef" href="#prod-INT_LITERAL"><span class="insert">INT_LITERAL</span></a>.
+<p><b>Note:</b>The productions for <span class="delete">qualifiedName</span><code class="content"><a class="grammarRef" href="#prod-QUALIFIED_NAME"><span class="insert">prov:QUALIFIED_NAME</span></a></code> and <span class="delete">intLiteral</span>
+<code class="content"><a class="grammarRef" href="#prod-INT_LITERAL"><span class="insert">INT_LITERAL</span></a></code> are conflicting.  In the context of a <span class="delete">Literal</span> 
+<code class="content"><a class="grammarRef" href="#prod-literal"><span class="insert">literal</span></a></code>, a parser should give precedence to the production for <span class="delete">intLiteral</span>
+<code class="content"><a class="grammarRef" href="#prod-INT_LITERAL"><span class="insert">INT_LITERAL</span></a></code>.
  
 </p>
 
@@ -2944,17 +3439,24 @@
 <p>The  reserved type values in the PROV namespace are the following.</p>
 
 <ol>
-<li>  <span class="name">prov:Account</span>
+<li>  <span class="name"><span class="delete">prov:Account</span><span class="insert">prov:Bundle</span></span>
+</li><li>  <span class="name"><span class="insert">prov:Collection</span></span>
+</li><li>  <span class="name"><span class="insert">prov:Dictionary</span></span>
+</li><li>  <span class="name"><span class="insert">prov:EmptyDictionary</span></span>
+</li><li>  <span class="name"><span class="insert">prov:HadOriginalSource</span></span>
+</li><li>  <span class="name"><span class="insert">prov:Organization</span></span>
+</li><li>  <span class="name"><span class="insert">prov:Person</span></span>
+</li><li>  <span class="name"><span class="insert">prov:Plan</span></span>
 </li><li>  <span class="name">prov:SoftwareAgent</span>
-</li><li>  <span class="name">prov:Person</span>
-</li><li>  <span class="name">prov:Organization</span>
-</li><li>  <span class="name">prov:Plan</span>
-</li><li>  <span class="name">prov:Collection</span>
-</li><li>  <span class="name">prov:EmptyCollection</span>
+</li><li>  <span class="name"><span class="delete">prov:Person</span><span class="insert">prov:WasQuotedFrom</span></span>
+</li><li>  <span class="name"><span class="delete">prov:Organization</span>
+  <span class="delete">prov:Plan</span>
+  <span class="delete">prov:Collection</span>
+  <span class="delete">prov:EmptyCollection</span><span class="insert">prov:WasRevisionOf</span></span>
 </li></ol>
 
-<div class="anexample" id="anexample-types">
-<p>The entity <span class="name">ag</span> is a person (type: <span class="name">prov:Person</span>), whereas the entity 
+<div class="anexample" id="anexample-types" count="36">
+<p>The <span class="delete">entity</span><span class="insert">agent</span> <span class="name">ag</span> is a person (type: <span class="name">prov:Person</span>), whereas the entity 
 <span class="name">pl</span> is a plan (type: <span class="name">prov:Plan</span>).</p>
 <pre class="codeexample"><span class="delete">agent(ag,[prov:type="prov:Person" %% xsd:QName])
 entity(pl,[prov:type="prov:Plan" %% xsd:QName])</span><span class="insert">agent(ag,  [ prov:type='prov:Person' ])
@@ -2971,14 +3473,14 @@
 <p><dfn id="dfn-time">Time instants</dfn> are defined according to xsd:dateTime [<cite><a class="bibref" rel="biblioentry" href="#bib-XMLSCHEMA-2">XMLSCHEMA-2</a></cite>].</p> 
 
 <table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-time" name="prod-time"></a><span class="insert">[</span><span class="prodNo"><span class="insert">48</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">time</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-ISODATETIME"><span class="insert">ISODATETIME</span></a></span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-DIGIT" name="prod-DIGIT"></a><span class="insert">[</span><span class="prodNo"><span class="insert">59</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">DIGIT</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">[0-9]</span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-ISODATETIME" name="prod-ISODATETIME"></a><span class="insert">[</span><span class="prodNo"><span class="insert">60</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">ISODATETIME</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> "-" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> "-" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> "T" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ":" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ":" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ( "." </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ( </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> (</span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert">)? )? )? ( "Z" | </span><span class="prod"><a class="grammarRef" href="#prod-TIMEZONEOFFSET"><span class="insert">TIMEZONEOFFSET</span></a></span><span class="insert"> )?</span></code></td> </tr> </tbody>
-<tbody class="term"> <tr valign="baseline"> <td><a id="prod-TIMEZONEOFFSET" name="prod-TIMEZONEOFFSET"></a><span class="insert">[</span><span class="prodNo"><span class="insert">61</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">TIMEZONEOFFSET</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( "+" | "-" ) </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ":" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span></code></td> </tr> </tbody>
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-time" name="prod-time"></a><span class="insert">[</span><span class="prodNo"><span class="insert">46</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">time</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-ISODATETIME"><span class="insert">ISODATETIME</span></a></span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-DIGIT" name="prod-DIGIT"></a><span class="insert">[</span><span class="prodNo"><span class="insert">57</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">DIGIT</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">[0-9]</span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-ISODATETIME" name="prod-ISODATETIME"></a><span class="insert">[</span><span class="prodNo"><span class="insert">58</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">ISODATETIME</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> "-" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> "-" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> "T" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ":" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ":" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ( "." </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ( </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> (</span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert">)? )? )? ( "Z" | </span><span class="prod"><a class="grammarRef" href="#prod-TIMEZONEOFFSET"><span class="insert">TIMEZONEOFFSET</span></a></span><span class="insert"> )?</span></code></td> </tr> </tbody>
+<tbody class="term"> <tr valign="baseline"> <td><a id="prod-TIMEZONEOFFSET" name="prod-TIMEZONEOFFSET"></a><span class="insert">[</span><span class="prodNo"><span class="insert">59</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><span class="insert">&lt;</span><code class="production term"><span class="insert">TIMEZONEOFFSET</span></code><span class="insert">&gt;</span></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">( "+" | "-" ) </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span><span class="insert"> ":" </span><span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span> <span class="prod"><a class="grammarRef" href="#prod-DIGIT"><span class="insert">DIGIT</span></a></span></code></td> </tr> </tbody>
 </table>
 
 
-<div class="anexample" id="anexample-time">
+<div class="anexample" id="anexample-time" count="37">
 
 <p>The third argument in the following usage expression is a time instance, namely 4pm on 2011-11-16.</p>
 <pre class="codeexample">used(ex:act2, ar3:0111, 2011-11-16T16:00:00)
@@ -3018,7 +3520,7 @@
 <p><span class="delete">An </span><span class="delete">expression container</span><span class="insert">A </span><dfn id="dfn-toplevel-bundle"><span class="insert">toplevel bundle</span></dfn> is a house-keeping construct of PROV-N capable of packaging up PROV-N <a title="expression">expressions</a> and namespace declarations.  <span class="delete">An expression container</span><span class="insert">A toplevel bundle</span> forms a self-contained package of provenance descriptions for the purpose of <em>exchanging</em> them.  <span class="delete">An expression container</span><span class="insert">A toplevel bundle</span> may be used
  to  package up PROV-N <a title="record">expressions</a> in response to a request for the provenance of something ([<cite><a class="bibref" rel="biblioentry" href="#bib-PROV-AQ">PROV-AQ</a></cite>]).</p>
 
-<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions,  <span class="delete">an</span><span class="insert">a toplevel bundle is not defined as a PROV-N</span> expression <span class="delete">container is not defined as a PROV-N </span><span class="insert">(production </span><a class="grammarRef" href="#prod-expression">expression<span class="delete"> (</span><span class="delete">production </span><span class="delete">expression</span></a>).</p> 
+<p> Given its status of house keeping construct for the purpose of exchanging provenance expressions,  <span class="delete">an</span><span class="insert">a toplevel bundle is not defined as a PROV-N</span> expression <span class="delete">container is not defined as a PROV-N </span><span class="insert">(production </span><code class="content"><a class="grammarRef" href="#prod-expression">expression<span class="delete"> (</span><span class="delete">production </span><span class="delete">expression</span></a></code>).</p> 
 
 
 <p><span class="delete">An expression container,</span><span class="insert">A toplevel bundle,</span> written <span class="name"><span class="delete">container</span><span class="insert">bundle</span> decls   exprs <span class="delete">endContainer</span><span class="insert">bundles endBundle</span></span> in PROV-N, contains:
@@ -3028,17 +3530,17 @@
 <li><em><span class="insert">namedBundles</span></em><span class="insert">:  a  set of </span><a href="#expression-bundle-declaration"><span class="insert">bundle declarations</span></a> <span class="name"><span class="insert">bundles</span></span><span class="insert">;</span></li>
 </ul>
 
-<p><span class="delete">An expression container's</span><span class="insert">A toplevel bundle's</span> text matches the <span class="delete">expressionContainer</span><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a> production.</p>
+<p><span class="delete">An </span><span class="insert">A toplevel bundle's text matches the </span><code class="content"><a class="grammarRef" href="#prod-bundle"><span class="insert">bundle</span></a><span class="insert"> production.</span></code></p>
+
+<table class="grammar">
+<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-bundle" name="prod-bundle"></a><span class="insert">[</span><span class="prodNo"><span class="insert">1</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">bundle</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"bundle" (</span><span class="prod"><a class="grammarRef" href="#prod-namespaceDeclarations"><span class="insert">namespaceDeclarations</span></a></span><span class="insert">)? (</span><span class="prod"><a class="grammarRef" href="#prod-expression">expression<span class="delete"> container's text matches the </span><span class="delete">expressionContainer</span><span class="delete"> production.</span>
 
 
 
 <span class="delete">expressionContainer</span><span class="delete"> ::=  
 </span><span class="delete">container</span> 
-
-
-<table class="grammar">
-<tbody class="prod"> <tr valign="baseline"> <td><a id="prod-bundle" name="prod-bundle"></a><span class="insert">[</span><span class="prodNo"><span class="insert">1</span></span><span class="insert">]&nbsp;&nbsp;&nbsp;</span></td> <td><code class="production prod"><span class="insert">bundle</span></code></td> <td><span class="insert">&nbsp;&nbsp;&nbsp;::=&nbsp;&nbsp;&nbsp;</span></td> <td><code class="content"><span class="insert">"bundle" (</span><span class="prod"><a class="grammarRef" href="#prod-namespaceDeclarations">namespaceDeclarations 
- </a></span><span class="insert">)? (</span><span class="prod"><a class="grammarRef" href="#prod-expression">expression 
+<span class="delete">namespaceDeclarations</span> 
+ <span class="delete">expression</span> 
 <span class="delete">endContainer</span> 
 
 
@@ -3048,7 +3550,7 @@
 
 
 
-<div class="anexample">
+<div class="anexample" count="38">
 <p>
 The following container contains expressions related to the provenance of entity 
 <span class="name">e2</span>.
prov

Hosted by W3C Systems Team, please report bugs to sysreq@w3.org