--- a/model/ProvenanceModel.html	Mon Oct 10 16:52:19 2011 +0100
+++ b/model/ProvenanceModel.html	Mon Oct 10 17:01:57 2011 +0100
@@ -1219,6 +1219,23 @@
 </p>
 
 
+<p>If a derivation expression holds for <span class="name">e2</span> and <span class="name">e1</span>, then it means that the thing represented by the entity expression identified by <span class="name">e1</span> has an influence on the thing represented by the entity expression identified by <span class="name">e2</span>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
+
+<div class='constraint' id='derivation-attributes'>Given a process execution expression denoted by <span class="name">pe</span>, entity expressions denoted by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
+or <span class="name">wasDerivedFrom(e2,e1)</span> holds <span class='conditional'>if and only if</span>
+ the values of some attributes of the entity expression identified by
+ <span class="name">e2</span> are partly or fully determined by the values of some
+attributes of the entity expression identified by <span class="name">e1</span>. </div>
+
+
+<div class='constraint' id='derivation-use-generation-ordering'>Given a process execution expression identified by <span class="name">pe</span>, entity expressions identified by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
+or <span class="name">wasDerivedFrom(e2,e1)</span> holds, <span class='conditional'>then</span>
+the use
+of characterized thing denoted by <span class="name">e1</span> precedes the generation of
+the characterized thing denoted by <span class="name">e2</span>.
+</div>
+
+
 <p>
 The following inference rule states that a generation and use event can be inferred from a process execution linked derivation expression.
 </p>
@@ -1244,23 +1261,6 @@
 
 
 
-<p>If a derivation expression holds for <span class="name">e2</span> and <span class="name">e1</span>, then it means that the thing represented by the entity expression identified by <span class="name">e1</span> has an influence on the thing represented by the entity expression identified by <span class="name">e2</span>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
-
-<div class='constraint' id='derivation-attributes'>Given a process execution expression denoted by <span class="name">pe</span>, entity expressions denoted by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
-or <span class="name">wasDerivedFrom(e2,e1)</span> holds <span class='conditional'>if and only if</span>
- the values of some attributes of the entity expression identified by
- <span class="name">e2</span> are partly or fully determined by the values of some
-attributes of the entity expression identified by <span class="name">e1</span>. </div>
-
-
-<div class='constraint' id='derivation-use-generation-ordering'>Given a process execution expression identified by <span class="name">pe</span>, entity expressions identified by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
-or <span class="name">wasDerivedFrom(e2,e1)</span> holds, <span class='conditional'>then</span>
-the use
-of characterized thing denoted by <span class="name">e1</span> precedes the generation of
-the characterized thing denoted by <span class="name">e2</span>.
-</div>
-
-
 
 <p>
 Note that inferring derivation from use and generation does not hold

--- a/model/simon-comments.txt	Mon Oct 10 16:52:19 2011 +0100
+++ b/model/simon-comments.txt	Mon Oct 10 17:01:57 2011 +0100
@@ -243,7 +243,7 @@
 
 also can we put derivation-attributes first: it is the one that defines the meaning of derivation.
 
-Luc: does it also hold for wasEventuallyDerivedFrom? If so, it should even be in 5.3.3.
+Luc: Done
 ===================
 
 >