--- a/model/ProvenanceModel.html	Thu Nov 24 21:47:38 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Nov 24 21:56:02 2011 +0000
@@ -1545,14 +1545,14 @@
 -->
 
 
-<p>Hence, given a precision axis, with values <em>precise</em> and <em>imprecise</em>, and an activity axis, with values  <em>one-activity</em> and <em>n-activities</em>, we can then form a matrix of possible derivations, precise or imprecise, or corresponding to one activity or  n activities.
+<p>Hence, given a precision axis, with values <em>precise</em> and <em>imprecise</em>, and an activity axis, with values  <em>one activity</em> and <em>n activities</em>, we can then form a matrix of possible derivations, precise or imprecise, or corresponding to one activity or  n activities.
 Out of the four possibilities, PROV-DM offers three forms of derivation, while the  fourth one is not meaningful.  The following table summarises names for the three kinds of derivation, which we then explain.</p>
 <div class="table">
 <table border="1" align="center">
 <tr><td colspan=2 rowspan=2></td><td colspan=2>precision axis</td></tr>
 <tr><td>precise</td><td>imprecise</td></tr> 
-<tr><td rowspan=2>activity<br>axis</td><td>one-activity</td><td>precise-1 derivation</td><td>imprecise-1 derivation</td></tr> 
-<tr><td>n-activities</td><td>---</td><td>imprecise-n derivation</td></tr> 
+<tr><td rowspan=2>activity<br>axis</td><td>one activity</td><td>precise-1 derivation</td><td>imprecise-1 derivation</td></tr> 
+<tr><td>n activities</td><td>---</td><td>imprecise-n derivation</td></tr> 
 <caption>PROV-DM Derivation Type Summary</caption>
 </table>
 </div>
@@ -1692,9 +1692,9 @@
   which at the minimum implies temporal ordering, specified as follows.</p>
 First, we consider one-activity derivations.</p>
 
-<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,attrs)</span>
+<div class='interpretation' id='derivation-usage-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,attrs)</span>
 or <span class="name">wasDerivedFrom(e2,e1,[prov:steps="1"] &cup; attrs)</span> holds, <span class='conditional'>then</span>
-the <a title="entity usage event">use</a>
+the <a title="entity usage event">usage</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>
@@ -1702,7 +1702,7 @@
 <p>Then, imprecise-n derivations.</p>
 
 <div class='interpretation' id='derivation-generation-generation-ordering'>
-Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,[prov:steps="1"] &cup; attrs)</span>
+Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,[prov:steps="n"] &cup; attrs)</span>
  holds, <span class='conditional'>then</span> the
 <a title="entity generation event">generation event</a> of the entity  represented by the entity record denoted by <span class="name">e1</span> <a>precedes</a> the <a title="entity generation event">generation event</a> of
 the entity represented by the entity record denoted by <span class="name">e2</span>.