--- a/model/prov-constraints.html Wed Jul 04 10:04:34 2012 +0100
+++ b/model/prov-constraints.html Wed Jul 04 22:57:33 2012 +0100
@@ -1246,42 +1246,6 @@
-<hr />
-<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='DELETE-unique-wasStartedBy'>
-<p>
-<span class='conditional'>IF</span> <span
- class="name">wasStartedBy(id;a1,e1,a2,t,attrs)</span> and <span
- class="name">wasStartedBy(id;a1',e',a2',t',attrs')</span>, <span
- class='conditional'>THEN</span> <span class="name">a1</span>=<span
- class="name">a1'</span> and <span class="name">e</span>=<span
- class="name">e'</span> and <span class="name">a2</span>=<span
- class="name">a2'</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>
-
-
-
-
-
-<hr />
-<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='DELETE-unique-wasEndedBy'>
-<p>
-<span class='conditional'>IF</span> <span
- class="name">wasEndedBy(id;a1,e1,a2,t,attrs)</span> and <span
- class="name">wasEndedBy(id;a1',e',a2',t',attrs')</span>, <span
- class='conditional'>THEN</span> <span class="name">a1</span>=<span
- class="name">a1'</span> and <span class="name">e</span>=<span
- class="name">e'</span> and <span class="name">a2</span>=<span
- class="name">a2'</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>
-
<div class="note">James: The unique-startTime and unique-endTime constraints
are now redundant, by activity-start-end-inference and unique-wasStartedBy/unique-wasEndedBy.<br>
Luc: Agreed. However, I feel it's easier to check these constraints than to infer new expressions, and then check constraints.</div>