--- a/model/ProvenanceModel.html	Mon Nov 21 16:48:08 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Nov 21 16:51:20 2011 +0000
@@ -1072,7 +1072,7 @@
 <p>The assertion of a generation event implies ordering of events in the world.</p>
 
 
-<div class='interpretation' id='generation-pe-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,pe,attrs)</span> or <span class="name">wasGeneratedBy(x,pe,attrs,t)</span>, <span class='conditional'>then</span> generation of the entity denoted by <span class="name">x</span> precedes the end
+<div class='interpretation' id='generation-activity-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,pe,attrs)</span> or <span class="name">wasGeneratedBy(x,pe,attrs,t)</span>, <span class='conditional'>then</span> generation of the entity denoted by <span class="name">x</span> precedes the end
 of <span class="name">pe</span> and follows the beginning of <span class="name">pe</span>. 
 </div> 
 
@@ -1159,7 +1159,7 @@
 
 
 
-<div class='interpretation' id='use-pe-ordering'>Given an activity record identified by <span class="name">pe</span>, an entity record identified by <span class="name">e</span>, a set of attribute-value pairs <span class="name">attrs</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
+<div class='interpretation' id='usage-activity-ordering'>Given an activity record identified by <span class="name">pe</span>, an entity record identified by <span class="name">e</span>, a set of attribute-value pairs <span class="name">attrs</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
  assertion <span class="name">used(pe,e,attrs)</span> or <span class="name">used(pe,e,attrs,t)</span> holds, <span class='conditional'>then</span> 
  the usage of the entity represented by entity record identified by <span class="name">e</span> precedes the end of activity represented by record identified by <span class="name">pe</span> and follows its beginning. Furthermore,  the generation of the entity denoted by entity record identified by <span class="name">e</span> always precedes
 its use.