--- a/model/ProvenanceModel.html	Mon Nov 07 12:25:50 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Nov 07 12:27:09 2011 +0000
@@ -1115,8 +1115,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 qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
  assertion <span class="name">used(pe,e,q)</span> or <span class="name">used(pe,e,q,t)</span> holds, <span class='conditional'>then</span> 
- the use of the entity represented by entity record identified by <span class="name">e</span> precedes the end
-time contained in the activity 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
+ the use 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.
 </div>