--- a/model/prov-constraints.html Thu May 31 11:38:18 2012 +0100
+++ b/model/prov-constraints.html Thu May 31 11:41:49 2012 +0100
@@ -1023,14 +1023,14 @@
Given an entity denoted by <span class="name">e</span> and
two time instants <span class="name">t1</span> and <span
class="name">t2</span>,
-<span class='conditional'>IF</span> <span class="name">wasGeneratedBy(e, -, t1)</span> and <span class="name">wasGeneratedBy(e, -, t2)</span> hold, <span class='conditional'>THEN</span> <span class="name">t1</span>=<span class="name">t2</span>.
+<span class='conditional'>IF</span> <span class="name">wasGeneratedBy(-;e, -, t1)</span> and <span class="name">wasGeneratedBy(-;e, -, t2)</span> hold, <span class='conditional'>THEN</span> <span class="name">t1</span>=<span class="name">t2</span>.
</div>
<p>An <a>activity start event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity starts. It allows for an optional time attribute. <span id="optional-start-time">Activities also allow for an optional start time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
</p>
<div class='constraint' id='unique-startTime'>
-<span class='conditional'>IF</span> <span class="name">activity(a,t1,t2)</span> and <span class="name">wasStartedBy(id;a,e,a0,t)</span>, <span class='conditional'>THEN</span> <span class="name">t</span>=<span class="name">t1</span>.
+<span class='conditional'>IF</span> <span class="name">activity(a,t1,t2)</span> and <span class="name">wasStartedBy(id;a,-,-,t)</span>, <span class='conditional'>THEN</span> <span class="name">t</span>=<span class="name">t1</span>.
</div>
<p>An <a>activity end event</a> is the <a title="instantaneous event">instantaneous event</a> that marks the instant an activity ends. It allows for an optional time attribute. <span id="optional-end-time">Activities also allow for an optional end time attribute. If both are specified, they MUST be the same, as expressed by the following constraint.</span>
@@ -1039,7 +1039,7 @@
<div class='constraint' id='unique-endTime'>
<span class='conditional'>IF</span> <span
class="name">activity(a,t1,t2)</span> and <span
- class="name">wasEndedBy(id;a,e,a0,t)</span>, <span
+ class="name">wasEndedBy(id;a,-,-,t)</span>, <span
class='conditional'>THEN</span> <span class="name">t</span> = <span class="name">t2</span>.
</div>