--- a/model/ProvenanceModel.html	Tue Oct 11 10:28:24 2011 +0100
+++ b/model/ProvenanceModel.html	Tue Oct 11 11:18:26 2011 +0100
@@ -2402,8 +2402,6 @@
   
 <div class='issue'>There are a number of commonly used provenance relations in particular for the web that are not in the model. For practical use and uptake, it would be good to have definitions of these in the provenance model. These concepts should be defined in terms of the already existing "core" concepts. This is  <a href="http://www.w3.org/2011/prov/track/issues/44">ISSUE-44</a>.</div>
 
-<div class='note'>This section needs editing. It needs to be aligned the terminology of previous sections and it needs to adopt the same presentation style. </div>
-
 <div class='note'>Revision and participation should probably be moved here. </div>
 
 <div class='note'>The types of these relations need to be made explicit.</div>
@@ -2430,22 +2428,21 @@
 <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>
+<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>, which takes responsibility for generating <span class="name">e</span>. Formally, this is expressed as the following necessary condition.</p>
+
+
+<div class='constraint' id='attribution-implication'>
 <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>
+<span class='conditional'>then</span> there exists a process execution identified by <span class="name">pe</span> such that the following statements hold:
 <pre>
-processExecution(pe,recipe,t1,t2,[])
+processExecution(pe,recipe,t1,t2,attr)
 wasGenerateBy(e,pe)
-wasControlledBy(pe,ag,qualifier(responsible=true))
+wasControlledBy(pe,ag,q)
 </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>
+for some attribute-value pairs <span class="name">attr</span>, time <span class="name">t1</span>, <span class="name">t2</span>,  and qualifier <span class="name">q</span>. 
+</div>
 </section>
 
 
@@ -2480,15 +2477,18 @@
 <li>MAY refer to the agent that is quoted, identified by <span class="name">ag1</span>.
 </ul>
 
-<p>
+<div class='constraint' id='quotation-implication'>
 <span class='conditional'>If</span>
 <span class="name">wasQuoteOf(e2,e1,ag2,ag1)</span> holds for some identifiers
 <span class="name">e2</span>, <span class="name">e1</span>, <span class="name">ag2</span>, <span class="name">ag1</span>, 
-<span class='conditional'>then</span> <span class="name">wasEventuallyDerivedDerivedFrom(e2,e1)</span> also holds.
-</p>
-
-
-<div class='note'>Purpose of ag1 and ag2 needs to be clarified. </div>
+<span class='conditional'>then</span> the following expressions hold:
+<pre>
+wasEventuallyDerivedDerivedFrom(e2,e1)
+wasAttributeTo(e2,ag2)
+wasAttributeTo(e1,ag1)
+</pre>
+</div>
+
 </section>