--- a/model/prov-n.html Thu May 31 09:56:07 2012 +0100
+++ b/model/prov-n.html Thu May 31 09:57:53 2012 +0100
@@ -1235,263 +1235,7 @@
</section>
<section id="component2">
-<h3>Component 2: Agents and Responsibility</h3>
-<section id="expression-Agent">
-<h4>Agent</h4>
-
-<!--
-<div class='grammar'>
-<span class="nonterminal">agentExpression</span> ::=
-<span class="name">agent</span>
-<span class="name">(</span>
-<span class="nonterminal">identifier</span>
-<span class="nonterminal">optional-attribute-values</span>
-<span class="name">)</span>
-</div>
-</div>
--->
-
-<table class="grammar">
-
-<tbody class="grammar-ref" data-ref="prod-agentExpression"></tbody>
-
-</table>
-
-<p>The following table summarizes how each constituent of a PROV-DM Agent maps to a non-terminal.</p>
-<div style="text-align: left; ">
-<table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<tr><td><b>Agent</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-identifier">identifier</a></code></td></tr>
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#agent.attributes"><span class='attribute' id="agent.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
-</table>
-</div>
-
-
-
-<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>
-In the next example, the optional attributes are omitted.
-
-<pre class="codeexample">
-agent(ag4)
-</pre>
-</div>
-
-
-</section>
-<section id="expression-attribution">
-<h4>Attribution</h4>
-
-<!--
-<div class="grammar">
-<span class="nonterminal">attributionExpression</span> ::=
-<span class="name">wasAttributedTo</span>
-<span class="name">(</span>
-<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">,</span> </span>
-<span class="nonterminal">eIdentifier</span>
-<span class="name">,</span>
-<span class="nonterminal">agIdentifier</span>
-<span class="nonterminal">optional-attribute-values</span>
-<span class="name">)</span>
-</div>
--->
-
-
-<table class="grammar">
-
-<tbody class="grammar-ref" data-ref="prod-attributionExpression"></tbody>
-
-</table>
-
-
-<p>The following table summarizes how each constituent of a PROV-DM Attribution maps to a non-terminal.</p>
-<div style="text-align: left; ">
-<table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<tr><td><b>Attribution</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.entity"><span class='attribute' id="attribution.entity">entity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-Identifier">eIdentifier</a></code></td></tr>
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.agent"><span class='attribute' id="attribution.agent">agent</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier">agIdentifier</a></code></td></tr>
-
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.attributes"><span class='attribute' id="attribution.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
-</table>
-</div>
-
-
-
-<div class="anexample">
-
-<pre class="codeexample">
-wasAttributedTo(id; e, ag, [ex:license='cc:attributionURL' ])
- </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">[ex:license='cc:attributionURL' ]</span> are optional attributes. </p>
-The remaining examples show cases where some of the optionals are omitted.
-
-<pre class="codeexample">
-wasAttributedTo(e, ag)
-wasAttributedTo(e, ag, [ex:license='cc:attributionURL' ])
-</pre>
-</div>
-
-</section> <!-- end attribution -->
-
-
-<section id="expression-Association">
-<h4>Association</h4>
-
-<!--
-<div class='grammar'>
-<span class="nonterminal">associationExpression</span> ::=
-<span class="name">wasAssociatedWith</span>
-<span class="name">(</span>
-<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">;</span> </span>
-<span class="nonterminal">aIdentifier</span>
-<span class="name">,</span>
-( <span class="nonterminal">agIdentifier</span> | <span class="name">-</span> ) (
-<span class="name">,</span>
-( <span class="nonterminal">eIdentifier</span> | <span class="name">-</span> ))?
-<span class="nonterminal">optional-attribute-values</span>
-<span class="name">)</span>
-</div>
--->
-
-<table class="grammar">
-
-<tbody class="grammar-ref" data-ref="prod-associationExpression"></tbody>
-
-</table>
-
-
-<p>The following table summarizes how each constituent of a PROV-DM Association maps to a non-terminal.</p>
-<div style="text-align: left; ">
-<table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<tr><td><b>Association</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.activity"><span class='attribute' id="association.activity">activity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier</a></code></td></tr>
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.agent"><span class='attribute' id="association.agent">agent</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifierOrMarker">agIdentifierOrMarker</a></code></td></tr>
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.plan"><span class='attribute' id="association.plan">plan</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifierOrMarker">eIdentifierOrMarker</a></code></td></tr>
-
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.attributes"><span class='attribute' id="association.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
-</table>
-</div>
-
-
-<div class="anexample">
-<pre class="codeexample">
-wasAssociatedWith(ex:agas; 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>
-The remaining examples show cases where some of the optionals are omitted.
-
-
-
-<pre class="codeexample">
-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)
-</pre>
-</div>
-
-<p><strong>Note:</strong>The production <code class="content"><a class="grammarRef" href="#prod-associationExpression">associationExpression</a></code> 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,
-since
-at least one of <a href="http://www.w3.org/TR/prov-dm/#association.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#association.agent"><span class='attribute'>agent</span></a>, <a href="http://www.w3.org/TR/prov-dm/#association.plan"><span class='attribute'>plan</span></a>, and <a href="http://www.w3.org/TR/prov-dm/#association.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
-
-</section>
-<section id="expression-delegation">
-<h4>Delegation</h4>
-
-<!--
-<div class='grammar'>
-<span class="nonterminal">responsibilityExpression</span> ::=
-<span class="name">actedOnBehalfOf</span>
-<span class="name">(</span>
-<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">;</span> </span>
-<span class="nonterminal">agIdentifier</span>
-<span class="name">,</span>
-<span class="nonterminal">agIdentifier</span> (
-<span class="name">,</span>
-( <span class="nonterminal">aIdentifier</span> | <span class="name">-</span> ))?
-<span class="nonterminal">optional-attribute-values</span>
-<span class="name">)</span>
-</div>
--->
-
-<table class="grammar">
-
-<tbody class="grammar-ref" data-ref="prod-delegationExpression"></tbody>
-
-</table>
-
-<p>The following table summarizes how each constituent of a PROV-DM Delegation maps to a non-terminal.</p>
-<div style="text-align: left; ">
-<table class="thinborder" style="margin-left: auto; margin-right: auto;">
-<tr><td><b>Delegation</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.delegate"><span class='attribute' id="delegation.delegate">delegate</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier">agIdentifier</a></code></td></tr>
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.responsible"><span class='attribute' id="delegation.responsible">responsible</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier">agIdentifier</a></code></td></tr>
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.activity"><span class='attribute' id="delegation.activity">activity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker">aIdentifierOrMarker</a></code></td></tr>
-
-
-
-<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.attributes"><span class='attribute' id="delegation.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
-</table>
-</div>
-
-
-
-<div class="anexample">
-
- <pre class="codeexample">
-actedOnBehalfOf(del1; ag2, ag1, a, [prov:type="contract"])
- </pre>
-<p> Here <span class="name">del1</span> is the optional delegation identifier,
- <span class="name">ag2</span> is the identifier for the delegate agent,
- <span class="name">ag1</span> is the identifier of the responsible agent,
- <span class="name">a</span> is the optional identifier of the activity for which the delegation link holds,
- and <span class="name">[prov:type="contract"]</span> are optional attributes. </p>
-The remaining examples show cases where some of the optionals are omitted.
-
-
-<pre class="codeexample">
-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"])
-</pre>
-</div>
-
-
-</section>
-</section>
-<section id="component3">
-<h3>Component 3: Derivations</h3>
+<h3>Component 2: Derivations</h3>
<section id="Derivation-Relation">
<h4>Derivation</h4>
@@ -1747,6 +1491,266 @@
-->
</section> <!-- end original source -->
+
+</section>
+
+
+<section id="component3">
+<h3>Component 3: Agents and Responsibility</h3>
+<section id="expression-Agent">
+<h4>Agent</h4>
+
+<!--
+<div class='grammar'>
+<span class="nonterminal">agentExpression</span> ::=
+<span class="name">agent</span>
+<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+</div>
+</div>
+-->
+
+<table class="grammar">
+
+<tbody class="grammar-ref" data-ref="prod-agentExpression"></tbody>
+
+</table>
+
+<p>The following table summarizes how each constituent of a PROV-DM Agent maps to a non-terminal.</p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tr><td><b>Agent</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-identifier">identifier</a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#agent.attributes"><span class='attribute' id="agent.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+</table>
+</div>
+
+
+
+<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>
+In the next example, the optional attributes are omitted.
+
+<pre class="codeexample">
+agent(ag4)
+</pre>
+</div>
+
+
+</section>
+<section id="expression-attribution">
+<h4>Attribution</h4>
+
+<!--
+<div class="grammar">
+<span class="nonterminal">attributionExpression</span> ::=
+<span class="name">wasAttributedTo</span>
+<span class="name">(</span>
+<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">,</span> </span>
+<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">agIdentifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+</div>
+-->
+
+
+<table class="grammar">
+
+<tbody class="grammar-ref" data-ref="prod-attributionExpression"></tbody>
+
+</table>
+
+
+<p>The following table summarizes how each constituent of a PROV-DM Attribution maps to a non-terminal.</p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tr><td><b>Attribution</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.entity"><span class='attribute' id="attribution.entity">entity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-Identifier">eIdentifier</a></code></td></tr>
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.agent"><span class='attribute' id="attribution.agent">agent</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier">agIdentifier</a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#attribution.attributes"><span class='attribute' id="attribution.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+</table>
+</div>
+
+
+
+<div class="anexample">
+
+<pre class="codeexample">
+wasAttributedTo(id; e, ag, [ex:license='cc:attributionURL' ])
+ </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">[ex:license='cc:attributionURL' ]</span> are optional attributes. </p>
+The remaining examples show cases where some of the optionals are omitted.
+
+<pre class="codeexample">
+wasAttributedTo(e, ag)
+wasAttributedTo(e, ag, [ex:license='cc:attributionURL' ])
+</pre>
+</div>
+
+</section> <!-- end attribution -->
+
+
+<section id="expression-Association">
+<h4>Association</h4>
+
+<!--
+<div class='grammar'>
+<span class="nonterminal">associationExpression</span> ::=
+<span class="name">wasAssociatedWith</span>
+<span class="name">(</span>
+<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">;</span> </span>
+<span class="nonterminal">aIdentifier</span>
+<span class="name">,</span>
+( <span class="nonterminal">agIdentifier</span> | <span class="name">-</span> ) (
+<span class="name">,</span>
+( <span class="nonterminal">eIdentifier</span> | <span class="name">-</span> ))?
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+</div>
+-->
+
+<table class="grammar">
+
+<tbody class="grammar-ref" data-ref="prod-associationExpression"></tbody>
+
+</table>
+
+
+<p>The following table summarizes how each constituent of a PROV-DM Association maps to a non-terminal.</p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tr><td><b>Association</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.activity"><span class='attribute' id="association.activity">activity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifier">aIdentifier</a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.agent"><span class='attribute' id="association.agent">agent</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifierOrMarker">agIdentifierOrMarker</a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.plan"><span class='attribute' id="association.plan">plan</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-eIdentifierOrMarker">eIdentifierOrMarker</a></code></td></tr>
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#association.attributes"><span class='attribute' id="association.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+</table>
+</div>
+
+
+<div class="anexample">
+<pre class="codeexample">
+wasAssociatedWith(ex:agas; 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>
+The remaining examples show cases where some of the optionals are omitted.
+
+
+
+<pre class="codeexample">
+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)
+</pre>
+</div>
+
+<p><strong>Note:</strong>The production <code class="content"><a class="grammarRef" href="#prod-associationExpression">associationExpression</a></code> 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,
+since
+at least one of <a href="http://www.w3.org/TR/prov-dm/#association.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#association.agent"><span class='attribute'>agent</span></a>, <a href="http://www.w3.org/TR/prov-dm/#association.plan"><span class='attribute'>plan</span></a>, and <a href="http://www.w3.org/TR/prov-dm/#association.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
+
+</section>
+<section id="expression-delegation">
+<h4>Delegation</h4>
+
+<!--
+<div class='grammar'>
+<span class="nonterminal">responsibilityExpression</span> ::=
+<span class="name">actedOnBehalfOf</span>
+<span class="name">(</span>
+<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">;</span> </span>
+<span class="nonterminal">agIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">agIdentifier</span> (
+<span class="name">,</span>
+( <span class="nonterminal">aIdentifier</span> | <span class="name">-</span> ))?
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+</div>
+-->
+
+<table class="grammar">
+
+<tbody class="grammar-ref" data-ref="prod-delegationExpression"></tbody>
+
+</table>
+
+<p>The following table summarizes how each constituent of a PROV-DM Delegation maps to a non-terminal.</p>
+<div style="text-align: left; ">
+<table class="thinborder" style="margin-left: auto; margin-right: auto;">
+<tr><td><b>Delegation</b></td><td><b>Non-Terminal</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">id</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalIdentifier">optionalIdentifier</a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.delegate"><span class='attribute' id="delegation.delegate">delegate</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier">agIdentifier</a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.responsible"><span class='attribute' id="delegation.responsible">responsible</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-agIdentifier">agIdentifier</a></code></td></tr>
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.activity"><span class='attribute' id="delegation.activity">activity</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-aIdentifierOrMarker">aIdentifierOrMarker</a></code></td></tr>
+
+
+
+<tr><td><a href="http://www.w3.org/TR/prov-dm/#delegation.attributes"><span class='attribute' id="delegation.attributes">attributes</span></a></td><td><code class="content"><a class="grammarRef" href="#prod-optionalAttributeValuePairs">optionalAttributeValuePairs</a></code></td></tr>
+</table>
+</div>
+
+
+
+<div class="anexample">
+
+ <pre class="codeexample">
+actedOnBehalfOf(del1; ag2, ag1, a, [prov:type="contract"])
+ </pre>
+<p> Here <span class="name">del1</span> is the optional delegation identifier,
+ <span class="name">ag2</span> is the identifier for the delegate agent,
+ <span class="name">ag1</span> is the identifier of the responsible agent,
+ <span class="name">a</span> is the optional identifier of the activity for which the delegation link holds,
+ and <span class="name">[prov:type="contract"]</span> are optional attributes. </p>
+The remaining examples show cases where some of the optionals are omitted.
+
+
+<pre class="codeexample">
+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"])
+</pre>
+</div>
+
+
+</section>
+
<section id="expression-trace">
<h4>Trace</h4>
@@ -1810,7 +1814,10 @@
</div>
</section>
+
</section>
+
+
<section id="component4">
<h3>Component 4: Alternate Entities</h3>
<section id="expression-alternate">