--- a/model/ProvenanceModel.html	Mon Nov 21 10:56:09 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Nov 21 12:20:31 2011 +0000
@@ -813,7 +813,7 @@
 
 <p> An activity record, written <span class="name">activity(id, rl, st, et, [ attr1=val1, ...])</span> in PROV-ASN, contains:</p>
 <ul>
-<li><em>id</em>: an identifier <span class="name">id</span> identifying an activity;</li>;</li>
+<li><em>id</em>: an identifier <span class="name">id</span> identifying an activity;</li>
 <li><em>recipeLink</em>: an OPTIONAL <a href="#record-RecipeLink">recipe link</a> <span class="name">rl</span>, which consists of a domain specific description of the activity;</li>
 <li><em>startTime</em>: an OPTIONAL time <span class="name">st</span> indicating the start of the activity;</li>
 <li><em>endTime</em>: an OPTIONAL time <span class="name">et</span> indicating the end of the activity;</li>
@@ -2420,9 +2420,9 @@
 <li> <span class="name">wasDerivedFrom(e2,e1,a,g2,u1)</span> holds, for some <span class="name">a</span>, <span class="name">g2</span>, <span class="name">u1</span>, or</li>
 <li> <span class="name">wasDerivedFrom(e2,e1)</span> holds, or</li>
 <li> <span class="name">wasBasedOn(e2,e1)</span> holds, or</li>
-<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasAssociatedWith(a,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>
-<li> <span class="name">wasGeneratedBy(e2,a,gAttr)</span>, <span class="name">wasAssociatedWith(a,e)</span> and <span class="name">actedOnBehalfOf(e,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>
-<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasStartedBy(a,e1)</span> hold, for some  <span class="name">a</span>, <span class="name">e</span> and  <span class="name">gAttr</span>
+<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasAssociatedWith(a,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>, or</li>
+<li> <span class="name">wasGeneratedBy(e2,a,gAttr)</span>, <span class="name">wasAssociatedWith(a,e)</span> and <span class="name">actedOnBehalfOf(e,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>, or</li>
+<li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasStartedBy(a,e1)</span> hold, for some  <span class="name">a</span>, <span class="name">e</span> and  <span class="name">gAttr</span>, or</li>
 <li> <span class="name">tracedTo(e2,e)</span> and  <span class="name">tracedTo(e,e1)</span> hold for some  <span class="name">e</span>.</li>
 </ul>
 </div>