--- a/model/ProvenanceModel.html	Wed Sep 07 14:15:48 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Sep 07 14:37:50 2011 +0100
@@ -1000,7 +1000,7 @@
 </section>
 
 <section>
-<h4>Process Execution Independent Derivation Assertion</h4>
+<h4>Process Execution Independent Derivation</h4>
 
 
 
@@ -1019,7 +1019,7 @@
   which at the minimum implies temporal ordering, specified as follows:</p>
 
 <div class='constraint' id='derivation-generation-generation-ordering'>
-  <a name="PIL:0012">Given two entities denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasEventuallyDerivedFrom(e2,e1)</span>
+  <a name="PIL:0012">Given two entities denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the expression <span class="name">wasEventuallyDerivedFrom(e2,e1)</span>
  holds, <span class='conditional'>then</span> the
 generation of the characterized thing denoted by <span class="name">e1</span> precedes the generation of
 the characterized thing denoted by <span class="name">e2</span>.</a>
@@ -1033,6 +1033,19 @@
 wasEventuallyDerivedFrom, nothing is known about the use of <span class="name">e1</span>,
 since there is no associated process execution.</p>
 
+<p>A process execution linked derivation is a richer form of
+derivation than a process execution independent derivation, since it
+contains or implies the existence of a process execution. Hence, from
+the former, we can infer the latter.</p>
+<div class='constraint' id='derivation-linked-independent'>
+Given two entities denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasEventuallyDerivedFrom(e2,e1)</span>
+ holds, <span class='conditional'>then</span> the
+ the assertion <span class="name">wasEventuallyDerivedFrom(e2,e1)</span> also holds.
+  </div>
+
+<p>Hence, a process-execution independent derivation expression can be directly asserted or can be inferred (by means of <a href="#derivation-linked-independent">derivation-linked-independent</a>).</p>
+
+
 <div class='note'>Should we link wasEventuallyDerivedFrom to attributes as we did for wasDerivedFrom?  If so, this type of inference should be presented upfront, for both.</div>