--- a/model/ProvenanceModel.html	Fri Nov 25 12:51:39 2011 +0000
+++ b/model/ProvenanceModel.html	Fri Nov 25 15:23:21 2011 +0000
@@ -2802,7 +2802,7 @@
 <span class='conditional'>if</span> a record <span class="name">wasRevisionOf(new,old,ag)</span> is asserted, <span class='conditional'>then</span> 
 there exists an entity record identifier <span class="name">e</span> and attribute-values <span class="name">av</span>, such that the following records hold:
 <ul>
-<li> <span class="name">wasEventuallyDerivedFrom(new,old)</span>;
+<li> <span class="name">wasDerivedFrom(new,old)</span>;
 <li> <span class="name">entity(e,av)</span>;
 <li> <span class="name">wasComplementOf(new,e)</span>;
 <li> <span class="name">wasComplementOf(old,e)</span>.
@@ -2810,8 +2810,8 @@
 </div>
 
 <p><span class="name">wasRevisionOf</span> is a strict sub-relation
- of <span class="name">wasEventuallyDerivedDerivedFrom</span> since two entities <span class="name">e2</span> and <span class="name">e1</span>
- may satisfy <span class="name">wasEventuallyDerivedDerivedFrom(e2,e1)</span> without being a variant of
+ of <span class="name">wasDerivedDerivedFrom</span> since two entities <span class="name">e2</span> and <span class="name">e1</span>
+ may satisfy <span class="name">wasDerivedDerivedFrom(e2,e1)</span> without being a variant of
  each other.
 </p>
 
@@ -2904,7 +2904,7 @@
 <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> the following records hold:
 <pre>
-wasEventuallyDerivedFrom(e2,e1)
+wasDerivedFrom(e2,e1)
 wasAttributedTo(e2,ag2)
 wasAttributedTo(e1,ag1)
 </pre>
@@ -2936,7 +2936,7 @@
 </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">wasDerivedFrom</span>.
 </p>
 
 
@@ -2967,7 +2967,7 @@
 </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">wasDerivedFrom</span>
 </p>