--- a/model/ProvenanceModel.html	Mon Oct 10 13:45:37 2011 +0100
+++ b/model/ProvenanceModel.html	Mon Oct 10 14:49:55 2011 +0100
@@ -2425,58 +2425,105 @@
 
 <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>
+
 
 
 
 <section>
 <h3>Quotation</h3>
 
-Quotation represents the repeating or copying of some part of a characterized thing. 
-
-<p> An assertion wasQuoteOf, written <span class="name"> wasQuoteOf(e2,e1,ag,ag2)</span>:</p>
+
+
+<p> A quotation exression is a representation of the repeating or copying of some part of a characterized thing, compatible with 
+the <span class="nonterminal">quotationExpression</span> production.</p>
+
+<div class='grammar'>
+<span class="nonterminal">quotationExpression</span>&nbsp;:=  
+<span class="name">wasQuoteOf</span> 
+<span class="name">(</span> 
+<span class="nonterminal">identifier</span>
+<span class="name">,</span> 
+<span class="nonterminal">identifier</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 a quotation expression, written <span class="name"> wasQuoteOf(e2,e1,ag2,ag1)</span>:</p>
 <ul>
-<li>refers to an entity <span class="name">e2</span>, denoting the quote; 
-<li>refers to an entity <span class="name">e1</span>, denoting the entity being quoted;
-<li>MAY refer to an agent who is doing the quoting <span class="name">ag</span>;
-<li>MAY refer to the agent that is quoted <span class="name">ag</span>
+<li>contains an identifier  <span class="name">e2</span>, identifying an entity expression that represents the quote; 
+<li>contains an identifier  <span class="name">e1</span>, identifying an entity expression representing what is being quoted;
+<li>MAY refer to an agent who is doing the quoting, identified by <span class="name">ag2</span>;
+<li>MAY refer to the agent that is quoted, identified by <span class="name">ag1</span>.
 </ul>
 
 <p>
-<span class="name">wasQuoteOf</span> is a sub-relation of <span class="name">wasRevisionOf</span>
+<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>
 </section>
 
 <section>
 <h3>Attribution</h3> 
 
-Attribution represents that a characterized thing is ascribed to an agent.
-
-<p> An assertion wasAttributedTo, written <span class="name"> wasAttributedTo(e1,ag)</span>:</p>
+<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>&nbsp;:=  
+<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>refers to an entity <span class="name">e2</span>, denoting the entity; 
-<li>refers to an agent who the entity is attributed to <span class="name">ag</span>.
+<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>
-<span class="name">wasQuoteOf</span> is a strict sub-relation of <span class="name">wasEventuallyDerivedFrom</span>
-</p>
-
-
+
+<div class='note'>It is suggested that <span class="name">wasQuoteOf</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>
-Represents a characterized thing that is a synopsis or abbreviation of another entity.
+<p>A summary expression represents that a characterized thing is a synopsis or abbreviation of another entity. A summary expression is compliant with the 
+<span class="nonterminal">summaryExpression</span> production.</p>
+
+<div class='grammar'>
+<span class="nonterminal">summaryExpression</span>&nbsp;:=  
+<span class="name">wasSummaryOf</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 assertion wasSummaryOf, written <span class="name"> wasSummaryOf(e2,e1)</span>:</p>
 <ul>
-<li>refers to an entity <span class="name">e2</span>, denoting the summary; 
-<li>refers to an entity <span class="name">e1</span>, denoting the entity being summarized. 
+<li>contains an identifier <span class="name">e2</span> identifying the entity expression that represents the summary; 
+<li>contains an identifier <span class="name">e1</span> identifying the entity expression that represents what is being summarized. 
 </ul>
 
 <p>
-<span class="name">wasSummaryOf</span> is a strict sub-relation of <span class="name">wasEventuallyDerivedFrom</span>
+<span class="name">wasSummaryOf</span> is a strict sub-relation of <span class="name">wasEventuallyDerivedFrom</span>.
 </p>
 
 
@@ -2485,16 +2532,29 @@
 <section>
 <h3>Original Source</h3>
 
-Represents a characterized thing in which another characterized thing first appeared. 
-
-<p> An assertion hasOriginalSource, written <span class="name"> hasOriginalSource(e2,e1)</span>:</p>
+<p>An original-source expression represents a characterized thing in
+which another characterized thing first appeared. A original-source
+expression is compliant with the
+<span class="nonterminal">originalSourceExpression</span> production.</p>
+
+<div class='grammar'>
+<span class="nonterminal">originalSourceExpression</span>&nbsp;:=  
+<span class="name">hadOriginalSource</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 assertion hadOriginalSource, written <span class="name"> hadOriginalSource(e2,e1)</span>:</p>
 <ul>
-<li>refers to an entity <span class="name">e2</span>, denoting the entity that first appeared; 
-<li>refers to an entity <span class="name">e1</span>, denoting the entity where that entity first appeared. 
+<li>contains an identifier <span class="name">e1</span> identifying the entity expression representing the original thing; 
+<li>contains an identifier <span class="name">e2</span> identifying an entity expression, representing a thing that had appeared previously.
 </ul>
 
 <p>
-<span class="name">hasOriginalSource</span> is a strict sub-relation of <span class="name">wasEventuallyDerivedFrom</span>
+  <span class="name">hasOriginalSource</span> is a strict sub-relation of <span class="name">wasEventuallyDerivedFrom</span>
 </p>