--- a/model/prov-constraints.html Wed Jul 04 09:02:06 2012 +0100
+++ b/model/prov-constraints.html Wed Jul 04 09:48:02 2012 +0100
@@ -1175,10 +1175,6 @@
<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 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>.
</p>
</div>
@@ -1209,10 +1205,6 @@
<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'>
@@ -1231,12 +1223,8 @@
<p>
<hr />
<p id='unique-wasEndedBy_text'>
-<p>We assume that an activity has exactly one end and
+<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>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'>
@@ -1316,7 +1304,7 @@
<span class='conditional'>IF</span> <span
class="name">activity(a,_t,t',_attrs)</span> and <span
class="name">wasEndedBy(id;a,_e1,_a1,t1,_attrs1)</span>, <span
- class='conditional'>THEN</span> <span class="name">t'</span> = <span class="name">t2</span>.</p>
+ class='conditional'>THEN</span> <span class="name">t'</span> = <span class="name">t1</span>.</p>
</div>
<p>
@@ -1336,17 +1324,14 @@
</div>
-<div id='functional-mention_text'>
+<div id='mention-unique_text'>
<p>An entity can be the subject of at most one mention relation.</p>
</div>
-<div class='constraint' id='functional-mention'>
+<div class='constraint' id='mention-unique'>
<p>
-Given an entity denoted by <span class="name">e</span>, two entities denoted by <span class="name">e1</span> and <span
-class="name">e2</span>, and two bundles denoted by <span class="name">b1</span> and <span
-class="name">b2</span>,
-<span class='conditional'>IF</span> <span class="name">mentionOf(e, e1, b1)</span> and <span class="name">mentionOf(e, e2, b2)</span> exist,
+<span class='conditional'>IF</span> <span class="name">mentionOf(e, e1, b1)</span> and <span class="name">mentionOf(e, e2, b2)</span>,
<span class='conditional'>THEN</span> <span class="name">e1</span>=<span class="name">e2</span> and <span class="name">b1</span>=<span class="name">b2</span>.</p>
</div>
@@ -1358,7 +1343,7 @@
<div class='inference' id="mention-specialization">
<p>
- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='conditional'>IF</span> <span class='name'>mentionOf(e2,e1,b)</span> <span class='conditional'>THEN</span> <span class='name'>specializationOf(e2,e1)</span>.</p>
+<span class='conditional'>IF</span> <span class='name'>mentionOf(e2,e1,b)</span> <span class='conditional'>THEN</span> <span class='name'>specializationOf(e2,e1)</span>.</p>
</div>
<p>
@@ -1737,11 +1722,11 @@
<div class='constraint' id='derivation-usage-generation-ordering'>
<p>
<span class="conditional">IF</span>
-<span class="name">wasDerivedFrom(d;e2,e1,a,g2,u1)</span>
+<span class="name">wasDerivedFrom(_d;_e2,_e1,_a,gen2,use1,_attrs)</span>
<span class="conditional">THEN</span>
-<span class="name">u1</span>
+<span class="name">use1</span>
<a>precedes</a>
-<span class="name">g2</span>.
+<span class="name">gen2</span>.
</p>
</div>
<p>