--- a/model/prov-constraints.html	Mon Sep 10 14:11:21 2012 +0100
+++ b/model/prov-constraints.html	Mon Sep 10 14:17:53 2012 +0100
@@ -3361,7 +3361,7 @@
 <div class='constraint' id='end-end-ordering'>
  <p>
     <span class="conditional">IF</span>
-<span class="name">wasEndedBy(end1; a,_e2,_a1,_t1,_attrs1)</span> 
+<span class="name">wasEndedBy(end1; a,_e1,_a1,_t1,_attrs1)</span> 
 and
 <span class="name">wasEndedBy(end2; a,_e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
@@ -3595,7 +3595,7 @@
     <span class="conditional">IF</span>
 <span class="name">wasGeneratedBy(gen1; e,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasGeneratedBy(gen2; a,_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>
@@ -3615,9 +3615,9 @@
 <div class='constraint' id='invalidation-invalidation-ordering'>
  <p>
     <span class="conditional">IF</span>
-<span class="name">wasInvalidatedBy(inv1; a,_e2,_a1,_t1,_attrs1)</span> 
+<span class="name">wasInvalidatedBy(inv1; e2,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasInvalidatedBy(inv2; a,_e2,_a2,_t2,_attrs2)</span> 
+<span class="name">wasInvalidatedBy(inv2; e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">inv1</span> 
 <a title="precedes">precedes</a>

--- a/model/releases/WD-prov-constraints-20120911/Overview.html	Mon Sep 10 14:11:21 2012 +0100
+++ b/model/releases/WD-prov-constraints-20120911/Overview.html	Mon Sep 10 14:17:53 2012 +0100
@@ -3832,7 +3832,7 @@
 <div class="constraint" id="end-end-ordering"><div class="ruleTitle"><a class="internalDFN" href="#end-end-ordering">Constraint 34 (end-end-ordering)</a></div>
  <p>
     <span class="conditional">IF</span>
-<span class="name">wasEndedBy(end1; a,_e2,_a1,_t1,_attrs1)</span> 
+<span class="name">wasEndedBy(end1; a,_e1,_a1,_t1,_attrs1)</span> 
 and
 <span class="name">wasEndedBy(end2; a,_e2,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
@@ -4065,7 +4065,7 @@
     <span class="conditional">IF</span>
 <span class="name">wasGeneratedBy(gen1; e,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasGeneratedBy(gen2; a,_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" href="#dfn-precedes" class="internalDFN">precedes</a>
@@ -4085,9 +4085,9 @@
 <div class="constraint" id="invalidation-invalidation-ordering"><div class="ruleTitle"><a class="internalDFN" href="#invalidation-invalidation-ordering">Constraint 42 (invalidation-invalidation-ordering)</a></div>
  <p>
     <span class="conditional">IF</span>
-<span class="name">wasInvalidatedBy(inv1; a,_e2,_a1,_t1,_attrs1)</span> 
+<span class="name">wasInvalidatedBy(inv1; e,_a1,_t1,_attrs1)</span> 
 and
-<span class="name">wasInvalidatedBy(inv2; a,_e2,_a2,_t2,_attrs2)</span> 
+<span class="name">wasInvalidatedBy(inv2; e,_a2,_t2,_attrs2)</span> 
 <span class="conditional">THEN</span>
 <span class="name">inv1</span> 
 <a title="precedes" href="#dfn-precedes" class="internalDFN">precedes</a>