--- a/model/ProvenanceModel.html Tue Oct 11 09:31:09 2011 +0100
+++ b/model/ProvenanceModel.html Tue Oct 11 09:40:40 2011 +0100
@@ -2410,6 +2410,44 @@
+<section>
+<h3>Attribution</h3>
+
+<p>An attribution expression represents that a characterized thing is ascribed to an agent and is compliant with the <span class="nonterminal">attributionExpression</span> production.</p>
+
+<div class='grammar'>
+<span class="nonterminal">attributionExpression</span> :=
+<span class="name">wasAttributeTo</span>
+<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+<span class="nonterminal">identifier</span>
+<span class="name">)</span>
+</div>
+
+<p> An instance of an attribution expression, written <span class="name"> wasAttributedTo(e,ag)</span>:</p>
+<ul>
+<li>contains an identifer <span class="name">e</span>, identifying an entity expression;
+<li>contains an identifer <span class="name">ag</span>, identifying the agent whom the entity is attributed to.
+</ul>
+<p>Attribution models the notion of a process execution generating an entity identified by <span class="name">e</span> being controlled by an agent <span class="name">ag</span>, where there is a qualifier about the responsibility of <span class="name">e</span> for <span class="name">ag</span>. Formally, this is expressed as follows:</p>
+
+
+<p>
+<span class='conditional'>If</span>
+<span class="name">wasAttributeTo(e,ag)</span> holds for some identifiers
+<span class="name">e</span> and <span class="name">ag</span>,
+<span class='conditional'>then</span> there exists a process execution identified by <span class="name">pe</span> such that:</p>
+<pre>
+processExecution(pe,recipe,t1,t2,[])
+wasGenerateBy(e,pe)
+wasControlledBy(pe,ag,qualifier(responsible=true))
+</pre>
+
+<div class='note'>It is suggested that <span class="name">wasAttributedTo</span> is a strict sub-relation of <span class="name">wasEventuallyDerivedFrom</span>.
+It is not clear that it can be the case. Shouldn't <span class="name">ag</span> be used, and not controlling, for a derivation to hold? </div>
+</section>
+
<section>
<h3>Quotation</h3>
@@ -2453,31 +2491,6 @@
<div class='note'>Purpose of ag1 and ag2 needs to be clarified. </div>
</section>
-<section>
-<h3>Attribution</h3>
-
-<p>An attribution expression represents that a characterized thing is ascribed to an agent and is compliant with the <span class="nonterminal">attributionExpression</span> production.</p>
-
-<div class='grammar'>
-<span class="nonterminal">attributionExpression</span> :=
-<span class="name">wasAttributeTo</span>
-<span class="name">(</span>
-<span class="nonterminal">identifier</span>
-<span class="name">,</span>
-<span class="nonterminal">identifier</span>
-<span class="name">)</span>
-</div>
-
-<p> An instance of an attribution expression, written <span class="name"> wasAttributedTo(e,ag)</span>:</p>
-<ul>
-<li>contains an identifer <span class="name">e</span>, identifying an entity expression;
-<li>contains an identifer <span class="name">ag</span>, identifying the agent whom the entity is attributed to.
-</ul>
-
-
-<div class='note'>It is suggested that <span class="name">wasAttributedTo</span> is a strict sub-relation of <span class="name">wasEventuallyDerivedFrom</span>.
-It is not clear that it can be the case. Shouldn't <span class="name">ag</span> be used, and not controlling, for a derivation to hold? </div>
-</section>
<section>
<h3>Summary</h3>