--- a/model/working-copy/wd5-prov-dm-derivation.html	Mon Mar 05 17:55:00 2012 +0100
+++ b/model/working-copy/wd5-prov-dm-derivation.html	Mon Mar 05 17:18:21 2012 +0000
@@ -285,6 +285,8 @@
 <p>The following descriptions state the existence of derivations.</p>
 <pre class="codeexample">
 wasDerivedFrom(e2,e1,a,g2,u1)
+  wasGeneratedBy(g2,e2,a)
+  used(u1,a,e1)
 wasDerivedFrom(e2,e1)
 wasDerivedFrom(e2,e1,[prov:type="physical transform"])
 <!-- wasDerivedFrom(e2,e1,2012-01-18T16:00:00) -->
@@ -294,10 +296,9 @@
 using the entity <span class="name">e1</span> according to usage <span class="name">u1</span>
  derived the
 entity <span class="name">e2</span> and generated it according to generation
- <span class="name">g2</span>. </p>
-
+ <span class="name">g2</span>. It is followed by descriptions for generation <span class="name">g2</span> and usage <span class="name">u1</span>.</p>
 <p>
-The second and third lines are about derivations between  <span class="name">e2</span> and  <span class="name">e1</span>, but no information is provided as to the identity of activity (and usage and generation) underpinning the derivation. In the third line, a type attribute is provided.</p>
+The fourth and fifth lines are about derivations between  <span class="name">e2</span> and  <span class="name">e1</span>, but no information is provided as to the identity of activity (and usage and generation) underpinning the derivation. In the fifth line, a type attribute is provided.</p>
 
 <!--<p> The fourth derivation extends the second with the derivation time of <span class="name">e2</span>.-->
 </p>