--- a/model/ProvenanceModel.html	Wed Sep 07 09:50:24 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Sep 07 09:53:14 2011 +0100
@@ -893,11 +893,11 @@
 </p>
 
 <p>
-The following inference rule allows generation and use assertions to be inferred.
+The following inference rule states that a generation and use event can be inferred from a process execution linked derivation.
 </p>
 
-<div class="inference">
-<a name="PIL:0010">If <span class="name">wasDerivedFrom(e2,e1,pe,r2,r1)</span> holds, then
+<div class="constraint" id='derivation-events'>
+<a name="PIL:0010"><span class='conditional'>If</span> <span class="name">wasDerivedFrom(e2,e1,pe,r2,r1)</span> holds, <span class='conditional'>then</span>
   <span class="name">wasGeneratedBy(e2,pe,r2)</span> and <span class="name">used(pe,e1,r1)</span> also
   hold. </a> [<a href="../ontology/ProvenanceFormalModel.html#PIL:0010">PIL:0010</a>]
 </div>