--- a/model/prov-constraints.html Tue Jul 03 21:32:01 2012 +0100
+++ b/model/prov-constraints.html Tue Jul 03 21:44:18 2012 +0100
@@ -1191,11 +1191,10 @@
<div id='unique-generation_text'>
<p>We assume that an entity has exactly one generation and
invalidation event (either or both may, however, be left implicit).
-So, PROV-DM allows for two distinct <a>generations</a> <span class="name">g1</span> and <span class="name">g2</span> referencing the same entity provided they occur
+So, PROV allows for two distinct <a>generations</a> <span class="name">g1</span> and <span class="name">g2</span> referencing the same entity provided they occur
<em>simultaneously</em>.
This implies that the two generation events are actually the same and
-caused by the same <em>activity</em>, though provenance may contain
-several statements for the same world activity.
+caused by the same <em>activity</em>.
</p>
</div>
@@ -1222,13 +1221,64 @@
+<hr />
+<p id='unique-wasStartedBy_text'>
+<p>We assume that an activity has exactly one start and
+end event (either or both may, however, be left implicit).
+So, PROV allows for two distinct <a>starts</a> <span class="name">s1</span> and <span class="name">s2</span> referencing the same activity provided they occur
+<em>simultaneously</em>.
+This implies that the two start events are actually the same and
+caused by the same <em>entity</em>.
+</p>
+
+<div class='constraint' id='unique-wasStartedBy'>
<p>
+<span class='conditional'>IF</span> <span
+ class="name">wasStartedBy(id;a,e1,a1,t,attrs)</span> and <span
+ class="name">wasStartedBy(id';a,e1',a1',t',attrs')</span>, <span
+ class='conditional'>THEN</span> <span class="name">id</span>=<span
+ class="name">id'</span> and <span class="name">e1</span>=<span
+ class="name">e1'</span> and <span class="name">a1</span>=<span
+ class="name">a1'</span> and <span class="name">t</span>=<span class="name">t'</span>
+ and <span class="name">attrs</span>=<span class="name">attrs'</span>.</p>
+</div>
+
+
+<p>
+<hr />
+<p id='unique-wasEndedBy_text'>
+<p>We assume that an activity has exactly one end and
+end event (either or both may, however, be left implicit).
+So, PROV allows for two distinct <a>ends</a> <span class="name">e1</span> and <span class="name">e2</span> referencing the same activity provided they occur
+<em>simultaneously</em>.
+This implies that the two end events are actually the same and
+caused by the same <em>entity</em>.
+</p>
+
+<div class='constraint' id='unique-wasEndedBy'>
+<p>
+<span class='conditional'>IF</span> <span
+ class="name">wasEndedBy(id;a,e1,a1,t,attrs)</span> and <span
+ class="name">wasEndedBy(id';a,e1',a1',t',attrs')</span>, <span
+ class='conditional'>THEN</span> <span class="name">id</span>=<span
+ class="name">id'</span> and <span class="name">e1</span>=<span
+ class="name">e1'</span> and <span class="name">a1</span>=<span
+ class="name">a1'</span> and <span class="name">t</span>=<span class="name">t'</span>
+ and <span class="name">attrs</span>=<span class="name">attrs'</span>.</p>
+</div>
+
+
+
+
+<p>
+
+
<hr />
-<p id='unique-wasStartedBy_text'>
+<p id='DELETE-unique-wasStartedBy_text'>
The <span class="name">id</span> uniquely determines all of the other parameters to <span class="name">wasStartedBy</span>.
</p>
-<div class='constraint' id='unique-wasStartedBy'>
+<div class='constraint' id='DELETE-unique-wasStartedBy'>
<p>
<span class='conditional'>IF</span> <span
class="name">wasStartedBy(id;a1,e1,a2,t,attrs)</span> and <span
@@ -1245,10 +1295,10 @@
<hr />
-<p id='unique-wasEndedBy_text'>
+<p id='DELETE-unique-wasEndedBy_text'>
The <span class="name">id</span> uniquely determines all of the other parameters to <span class="name">wasEndedBy</span>.
</p>
-<div class='constraint' id='unique-wasEndedBy'>
+<div class='constraint' id='DELETE-unique-wasEndedBy'>
<p>
<span class='conditional'>IF</span> <span
class="name">wasEndedBy(id;a1,e1,a2,t,attrs)</span> and <span