--- a/model/prov-constraints.html	Tue Sep 04 12:34:52 2012 +0100
+++ b/model/prov-constraints.html	Thu Sep 06 08:28:04 2012 +0200
@@ -3816,46 +3816,46 @@
     <span class="conditional">IF</span>
 <span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span> 
 and
-<span class="name">wasStartedBy(start; a,_e1,_a1,_t1,_attrs1)</span> 
+<span class="name">wasStartedBy(start1; a,_e1,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasInvalidatedBy(inv1; ag,_a2,_t2,_attrs2)</span> 
+<span class="name">wasInvalidatedBy(inv2; ag,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
-<span class="name">start</span> 
+<span class="name">start1</span> 
 <a title="precedes">precedes</a>
-<span class="name">inv1</span>.
+<span class="name">inv2</span>.
   </li><li>
     <span class="conditional">IF</span>
 <span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span> 
 and
-<span class="name">wasGeneratedBy(gen1; ag,_a3,_t3,_attrs3)</span> 
+<span class="name">wasGeneratedBy(gen1; ag,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasEndedBy(end; a,_e4,_a4,_t4,_attrs4)</span> 
+<span class="name">wasEndedBy(end2; a,_e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">gen1</span> 
 <a title="precedes">precedes</a>
-<span class="name">end</span>.
+<span class="name">end2</span>.
   </li><li>
     <span class="conditional">IF</span>
 <span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span> 
 and
-<span class="name">wasStartedBy(start; a,_e5,_a5,_t5,_attrs5)</span> 
+<span class="name">wasStartedBy(start1; a,_e1,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasEndedBy(end1; ag,_e6,_a6,_t6,_attrs6)</span> 
+<span class="name">wasEndedBy(end2; ag,_e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
-<span class="name">start</span> 
+<span class="name">start1</span> 
 <a title="precedes">precedes</a>
-<span class="name">end1</span>.
+<span class="name">end2</span>.
   </li><li>
     <span class="conditional">IF</span>
 <span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span> 
 and
-<span class="name">wasStartedBy(start1; ag,_e7,_a7,_t7,_attrs7)</span> 
+<span class="name">wasStartedBy(start1; ag,_e1,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasEndedBy(end; a,_e8,_a8,_t8,_attrs8)</span> 
+<span class="name">wasEndedBy(end2; a,_e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start1</span> 
 <a title="precedes">precedes</a>
-<span class="name">end</span>.
+<span class="name">end2</span>.
   </li>
   </ol>
 </div>
@@ -3879,22 +3879,22 @@
 and
 <span class="name">wasGeneratedBy(gen1; ag,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasGeneratedBy(gen; e,_a2,_t2,_attrs2)</span> 
+<span class="name">wasGeneratedBy(gen2; e,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">gen1</span> 
 <a title="precedes">precedes</a>
-<span class="name">gen</span>.
+<span class="name">gen2</span>.
   </li><li>
     <span class="conditional">IF</span>
 <span class="name">wasAttributedTo(_at; e,ag,_attrs)</span> 
 and
-<span class="name">wasStartedBy(start1; ag,_e3,_a3,_t3,_attrs3)</span> 
+<span class="name">wasStartedBy(start1; ag,_e1,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasGeneratedBy(gen; e,_a4,_t4,_attrs4)</span> 
+<span class="name">wasGeneratedBy(gen2; e,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start1</span> 
 <a title="precedes">precedes</a>
-<span class="name">gen</span>.
+<span class="name">gen2</span>.
   </li>
   </ol>
 </div>
@@ -3921,9 +3921,9 @@
 	 <span class="conditional">IF</span>
 <span class="name">actedOnBehalfOf(_del; ag2,ag1,_a,_attrs)</span> 
 and
-<span class="name">wasStartedBy(start1; ag1,_e3,_a3,_t3,_attrs3)</span> 
+<span class="name">wasStartedBy(start1; ag1,_e1,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasEndedBy(end2; ag2,_e4,_a4,_t4,_attrs4)</span> 
+<span class="name">wasEndedBy(end2; ag2,_e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start1</span> 
 <a title="precedes">precedes</a>