--- a/model/prov-constraints.html Mon Sep 03 21:52:09 2012 +0100
+++ b/model/prov-constraints.html Tue Sep 04 10:03:19 2012 +0200
@@ -3818,20 +3818,20 @@
and
<span class="name">wasStartedBy(start; a,_e1,_a1,_t1,_attrs1)</span>
and
-<span class="name">wasInvalidatedBy(inv; ag,_a2,_t2,_attrs2)</span>
+<span class="name">wasInvalidatedBy(inv1; ag,_a2,_t2,_attrs2)</span>
<span class="conditional">THEN</span>
<span class="name">start</span>
<a title="precedes">precedes</a>
-<span class="name">inv</span>.
+<span class="name">inv1</span>.
</li><li>
<span class="conditional">IF</span>
<span class="name">wasAssociatedWith(_assoc; a,ag,_pl,_attrs)</span>
and
-<span class="name">wasGeneratedBy(gen; ag,_a3,_t3,_attrs3)</span>
+<span class="name">wasGeneratedBy(gen1; ag,_a3,_t3,_attrs3)</span>
and
<span class="name">wasEndedBy(end; a,_e4,_a4,_t4,_attrs4)</span>
<span class="conditional">THEN</span>
-<span class="name">gen</span>
+<span class="name">gen1</span>
<a title="precedes">precedes</a>
<span class="name">end</span>.
</li><li>
@@ -3840,20 +3840,20 @@
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>
-<span class="name">end</span>.
+<span class="name">end1</span>.
</li><li>
<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>
-<span class="name">start</span>
+<span class="name">start1</span>
<a title="precedes">precedes</a>
<span class="name">end</span>.
</li>
@@ -3879,20 +3879,20 @@
and
<span class="name">wasGeneratedBy(gen1; ag,_a1,_t1,_attrs1)</span>
and
-<span class="name">wasGeneratedBy(gen2; e,_a2,_t2,_attrs2)</span>
+<span class="name">wasGeneratedBy(gen; e,_a2,_t2,_attrs2)</span>
<span class="conditional">THEN</span>
<span class="name">gen1</span>
<a title="precedes">precedes</a>
-<span class="name">gen2</span>.
+<span class="name">gen</span>.
</li><li>
<span class="conditional">IF</span>
<span class="name">wasAttributedTo(_at; e,ag,_attrs)</span>
and
-<span class="name">wasStartedBy(start; ag,_e3,_a3,_t3,_attrs3)</span>
+<span class="name">wasStartedBy(start1; ag,_e3,_a3,_t3,_attrs3)</span>
and
<span class="name">wasGeneratedBy(gen; e,_a4,_t4,_attrs4)</span>
<span class="conditional">THEN</span>
-<span class="name">start</span>
+<span class="name">start1</span>
<a title="precedes">precedes</a>
<span class="name">gen</span>.
</li>
@@ -3910,24 +3910,24 @@
<span class="conditional">IF</span>
<span class="name">actedOnBehalfOf(_del; ag2,ag1,_a,_attrs)</span>
and
-<span class="name">wasGeneratedBy(gen; ag1,_a1,_t1,_attrs1)</span>
+<span class="name">wasGeneratedBy(gen1; ag1,_a1,_t1,_attrs1)</span>
and
-<span class="name">wasInvalidatedBy(inv; ag2,_a2,_t2,_attrs2)</span>
+<span class="name">wasInvalidatedBy(inv2; ag2,_a2,_t2,_attrs2)</span>
<span class="conditional">THEN</span>
-<span class="name">gen</span>
+<span class="name">gen1</span>
<a title="precedes">precedes</a>
-<span class="name">inv</span>.
+<span class="name">inv2</span>.
</li><li>
<span class="conditional">IF</span>
<span class="name">actedOnBehalfOf(_del; ag2,ag1,_a,_attrs)</span>
and
-<span class="name">wasStartedBy(start; ag1,_e3,_a3,_t3,_attrs3)</span>
+<span class="name">wasStartedBy(start1; ag1,_e3,_a3,_t3,_attrs3)</span>
and
-<span class="name">wasEndedBy(end; ag2,_e4,_a4,_t4,_attrs4)</span>
+<span class="name">wasEndedBy(end2; ag2,_e4,_a4,_t4,_attrs4)</span>
<span class="conditional">THEN</span>
-<span class="name">start</span>
+<span class="name">start1</span>
<a title="precedes">precedes</a>
-<span class="name">end</span>.
+<span class="name">end2</span>.
</li>
</ol>