--- a/model/ProvenanceModel.html Wed Nov 23 15:08:00 2011 +0000
+++ b/model/ProvenanceModel.html Wed Nov 23 15:32:12 2011 +0000
@@ -1167,8 +1167,8 @@
<p>The assertion of a generation record implies ordering of <a title="event">events</a> in the world.</p>
-<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> <a>precedes</a> the end
-of <span class="name">pe</span> and <a>follows</a> the beginning of <span class="name">pe</span>.
+<div class='interpretation' id='generation-activity-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,a,attrs)</span> or <span class="name">wasGeneratedBy(x,a,attrs,t)</span>, <span class='conditional'>then</span> <a title="entity generation event">generation</a> of the entity denoted by <span class="name">x</span> <a>precedes</a> the <a title="activity end event">end</a>
+of <span class="name">a</span> and <a>follows</a> the <a title="activity start event">start</a> of <span class="name">a</span>.
</div>
@@ -1252,13 +1252,13 @@
-<div class='interpretation' id='usage-generation-ordering'>The generation of an entity always <a>precedes</a> its use.
+<div class='interpretation' id='usage-generation-ordering'>The <a title="entity generation event">generation</a> of an entity always <a>precedes</a> its <a title="entity usage event">use</a>.
</div>
<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> <a>precedes</a> the end of activity represented by record identified by <span class="name">pe</span> and <a>follows</a> its beginning.
+ the <a title="entity usage event">usage</a> of the entity represented by entity record identified by <span class="name">e</span> <a>precedes</a> the <a title="activity end event">end</a> of activity represented by record identified by <span class="name">pe</span> and <a>follows</a> its <a title="activity start event">start</a>.
</div>
@@ -1653,8 +1653,8 @@
<div class='interpretation' id='derivation-use-generation-ordering'>Given an activity record identified by <span class="name">a</span>, entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, generation record identified by <span class="name">g2</span>, and usage record identified by <span class="name">u1</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,a,g2,u1)</span>
or <span class="name">wasDerivedFrom(e2,e1)</span> holds, <span class='conditional'>then</span>
-the use
-of entity denoted by <span class="name">e1</span> <a>precedes</a> the generation of
+the <a title="entity usage event">use</a>
+of entity denoted by <span class="name">e1</span> <a>precedes</a> the <a title="entity generation event">generation</a> of
the entity denoted by <span class="name">e2</span>.
</div>