--- a/model/prov-constraints.html	Wed Aug 08 12:43:27 2012 +0100
+++ b/model/prov-constraints.html	Wed Aug 08 13:56:48 2012 +0200
@@ -3022,7 +3022,7 @@
 and
 <span class="name">wasStartedBy(start; a,_e5,_a5,_t5,_attrs5)</span> 
 and
-<span class="name">wasEndedBy(end; ag,_e6,_a6,_t6,_attrs6)</span> 
+<span class="name">wasEndedBy(end1; ag,_e6,_a6,_t6,_attrs6)</span> 
 <span class="conditional">THEN</span>
 <span class="name">start</span> 
 <a title="precedes">precedes</a>
@@ -3031,7 +3031,7 @@
     <span class="conditional">IF</span>
 <span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span> 
 and
-<span class="name">wasStartedBy(start; ag,_e7,_a7,_t7,_attrs7)</span> 
+<span class="name">wasStartedBy(start1; ag,_e7,_a7,_t7,_attrs7)</span> 
 and
 <span class="name">wasEndedBy(end; a,_e8,_a8,_t8,_attrs8)</span> 
 <span class="conditional">THEN</span>