--- a/model/releases/ED-prov-constraints-20120723/prov-constraints.html Mon Jul 23 14:58:19 2012 +0100
+++ b/model/releases/ED-prov-constraints-20120723/prov-constraints.html Mon Jul 23 14:58:43 2012 +0100
@@ -1132,7 +1132,7 @@
</p>
<p> Inferences have the following general form:</p>
-<div class="inference-example" id="inference-example" data-count="NNN" data-title="Inference-example NNN (inference-example)"><div class="ruleTitle"><a class="internalDFN" href="#inference-example">Inference-example NNN (inference-example)</a></div>
+<div class="inference-example" id="inference-example"><div class="ruleTitle"><a class="internalDFN" href="#inference-example">Inference-example NNN (inference-example)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">hyp<sub>1</sub></span> and ... and
<span class="name">hyp<sub>k</sub></span> <span class="conditional">THEN</span>
@@ -1154,7 +1154,7 @@
<p> Definitions have the following general form:</p>
-<div class="definition-example" id="definition-example" data-count="NNN" data-title="Definition-example NNN (definition-example)"><div class="ruleTitle"><a class="internalDFN" href="#definition-example">Definition-example NNN (definition-example)</a></div>
+<div class="definition-example" id="definition-example"><div class="ruleTitle"><a class="internalDFN" href="#definition-example">Definition-example NNN (definition-example)</a></div>
<p>
<span class="name">defined_exp</span> holds <span class="conditional">IF AND ONLY IF</span>
there exists <span class="name">a<sub>1</sub></span>,..., <span class="name">a<sub>m</sub></span> such that <span class="name">defining_exp<sub>1</sub></span> and ... and <span class="name">defining_exp<sub>n</sub></span>.</p>
@@ -1198,7 +1198,7 @@
We note that Definitions 1, 2, and 3 desugar compact PROV-N notation into a normal form.
</p>
- <div class="definition" id="optional-identifiers" data-count="1" data-title="Definition 1 (optional-identifiers)"><div class="ruleTitle"><a class="internalDFN" href="#optional-identifiers">Definition 1 (optional-identifiers)</a></div>
+ <div class="definition" id="optional-identifiers"><div class="ruleTitle"><a class="internalDFN" href="#optional-identifiers">Definition 1 (optional-identifiers)</a></div>
<p>For each <span class="name">r</span> in {
<span class="name">used</span>,
<span class="name">wasGeneratedBy</span>,
@@ -1223,7 +1223,7 @@
<p>Likewise, many PROV statements allow for an optional attribute
list. If it is omitted, this is the same as specifying an empty
attribute list:</p>
- <div class="definition" id="optional-attributes" data-count="2" data-title="Definition 2 (optional-attributes)"><div class="ruleTitle"><a class="internalDFN" href="#optional-attributes">Definition 2 (optional-attributes)</a></div>
+ <div class="definition" id="optional-attributes"><div class="ruleTitle"><a class="internalDFN" href="#optional-attributes">Definition 2 (optional-attributes)</a></div>
<ol>
<li>
For each <span class="name">r</span> in {<span class="name">entity</span>, <span class="name">activity</span>,
@@ -1255,7 +1255,7 @@
used if none of the optional arguments is present. These are
handled by specific rules listed below. </p>
-<div class="definition" id="definition-short-forms" data-count="3" data-title="Definition 3 (definition-short-forms)"><div class="ruleTitle"><a class="internalDFN" href="#definition-short-forms">Definition 3 (definition-short-forms)</a></div>
+<div class="definition" id="definition-short-forms"><div class="ruleTitle"><a class="internalDFN" href="#definition-short-forms">Definition 3 (definition-short-forms)</a></div>
<p>
</p><ol>
@@ -1386,7 +1386,7 @@
</tr>
</tbody></table>
- <div class="definition" id="optional-placeholders" data-count="4" data-title="Definition 4 (optional-placeholders)"><div class="ruleTitle"><a class="internalDFN" href="#optional-placeholders">Definition 4 (optional-placeholders)</a></div>
+ <div class="definition" id="optional-placeholders"><div class="ruleTitle"><a class="internalDFN" href="#optional-placeholders">Definition 4 (optional-placeholders)</a></div>
<ol><li>
For each <span class="name">r</span> in {<span class="name">entity</span>, <span class="name">activity</span>,
<span class="name">agent</span>}, the following definition
@@ -1434,7 +1434,7 @@
<p id="communication-generation-use-inference_text">Communication between activities is <a title="definition" href="#definition" class="internalDFN">defined</a> as the existence of an underlying
entity generated by one activity and used by the other.</p>
-<div class="inference" id="communication-generation-use-inference" data-count="5" data-title="Inference 5 (communication-generation-use-inference)"><div class="ruleTitle"><a class="internalDFN" href="#communication-generation-use-inference">Inference 5 (communication-generation-use-inference)</a></div>
+<div class="inference" id="communication-generation-use-inference"><div class="ruleTitle"><a class="internalDFN" href="#communication-generation-use-inference">Inference 5 (communication-generation-use-inference)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasInformedBy(_id;a2,a1,_attrs)</span>
@@ -1450,7 +1450,7 @@
<a class="rule-text" href="#communication-generation-use-inference_text"><span>Inference 5 (communication-generation-use-inference)</span></a>.
</div>
- <div class="inference" id="generation-use-communication-inference" data-count="6" data-title="Inference 6 (generation-use-communication-inference)"><div class="ruleTitle"><a class="internalDFN" href="#generation-use-communication-inference">Inference 6 (generation-use-communication-inference)</a></div>
+ <div class="inference" id="generation-use-communication-inference"><div class="ruleTitle"><a class="internalDFN" href="#generation-use-communication-inference">Inference 6 (generation-use-communication-inference)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasGeneratedBy(_id1;e,a1,_t1,_attrs1)</span>
and <span class="name">used(_id2;a2,e,_t2,_attrs2)</span> hold
@@ -1479,7 +1479,7 @@
<span class="figure">
<img src="images/constraints/informedByNonTransitive.png" alt="non transitivity of wasInformedBy">
<br>
-<span class="figcaption" data-count="1" id="counterexample-wasInformedBy">Figure 1<sup><a class="internalDFN" href="#counterexample-wasInformedBy"><span class="diamond"> ◊:</span></a></sup> Counter-example for transitivity of wasInformedBy</span>
+<span class="figcaption" id="counterexample-wasInformedBy">Figure 1<sup><a class="internalDFN" href="#counterexample-wasInformedBy"><span class="diamond"> ◊:</span></a></sup> Counter-example for transitivity of wasInformedBy</span>
</span> <!-- <b>Figure 1:</b> -->
</div>
</div>
@@ -1517,7 +1517,7 @@
From an entity, we can infer that existence of
generation and invalidation events.
</p>
-<div class="inference" id="entity-generation-invalidation-inference" data-count="7" data-title="Inference 7 (entity-generation-invalidation-inference)"><div class="ruleTitle"><a class="internalDFN" href="#entity-generation-invalidation-inference">Inference 7 (entity-generation-invalidation-inference)</a></div>
+<div class="inference" id="entity-generation-invalidation-inference"><div class="ruleTitle"><a class="internalDFN" href="#entity-generation-invalidation-inference">Inference 7 (entity-generation-invalidation-inference)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">entity(e,_attrs)</span> <span class="conditional">THEN</span> there exist
<span class="name">_id1</span>, <span class="name">_a1</span>, <span class="name">_t1</span>,
@@ -1540,7 +1540,7 @@
start and end events having times matching the start and end times of
the activity.
</p>
-<div class="inference" id="activity-start-end-inference" data-count="8" data-title="Inference 8 (activity-start-end-inference)"><div class="ruleTitle"><a class="internalDFN" href="#activity-start-end-inference">Inference 8 (activity-start-end-inference)</a></div>
+<div class="inference" id="activity-start-end-inference"><div class="ruleTitle"><a class="internalDFN" href="#activity-start-end-inference">Inference 8 (activity-start-end-inference)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">activity(a,t1,t2,_attrs)</span> <span class="conditional">THEN</span> there exist <span class="name">_id1</span>, <span class="name">_e1</span>, <span class="name">_id2</span>,
and <span class="name">_e2</span> such that
@@ -1554,7 +1554,7 @@
<p id="wasStartedBy-inference_text">Start of <span class="name">a</span> by trigger <span class="name">e1</span> and starter activity <span class="name">a1</span> implies that
<span class="name">e1</span> was generated by <span class="name">a1</span>.</p>
-<div class="inference" id="wasStartedBy-inference" data-count="9" data-title="Inference 9 (wasStartedBy-inference)"><div class="ruleTitle"><a class="internalDFN" href="#wasStartedBy-inference">Inference 9 (wasStartedBy-inference)</a></div>
+<div class="inference" id="wasStartedBy-inference"><div class="ruleTitle"><a class="internalDFN" href="#wasStartedBy-inference">Inference 9 (wasStartedBy-inference)</a></div>
<p><span class="conditional">IF</span>
<span class="name">wasStartedBy(_id;a,e1,a1,_t,_attrs)</span>,
<span class="conditional">THEN</span> there exist <span class="name">_gen</span> and <span class="name">_t1</span>
@@ -1570,7 +1570,7 @@
<span class="name">e1</span> was generated by <span class="name">a1</span>.
</p>
-<div class="inference" id="wasEndedBy-inference" data-count="10" data-title="Inference 10 (wasEndedBy-inference)"><div class="ruleTitle"><a class="internalDFN" href="#wasEndedBy-inference">Inference 10 (wasEndedBy-inference)</a></div>
+<div class="inference" id="wasEndedBy-inference"><div class="ruleTitle"><a class="internalDFN" href="#wasEndedBy-inference">Inference 10 (wasEndedBy-inference)</a></div>
<p><span class="conditional">IF</span>
<span class="name">wasEndedBy(_id;a,e1,a1,_t,_attrs)</span>,
<span class="conditional">THEN</span> there exist <span class="name">_gen</span> and <span class="name">_t1</span> such that
@@ -1590,7 +1590,7 @@
<p id="derivation-generation-use_text">Derivations with explicit
activity, generation, and usage admit the following inference: </p>
-<div class="inference" id="derivation-generation-use" data-count="11" data-title="Inference 11 (derivation-generation-use)"><div class="ruleTitle"><a class="internalDFN" href="#derivation-generation-use">Inference 11 (derivation-generation-use)</a></div>
+<div class="inference" id="derivation-generation-use"><div class="ruleTitle"><a class="internalDFN" href="#derivation-generation-use">Inference 11 (derivation-generation-use)</a></div>
<p>
<!--
@@ -1620,7 +1620,7 @@
<div class="note">Final check required. The following inference
appears redundant (it can be derived using other rules).
</div>
-<div class="inference" id="derivation-use" data-count="12" data-title="Inference 12 (derivation-use)"><div class="ruleTitle"><a class="internalDFN" href="#derivation-use">Inference 12 (derivation-use)</a></div>
+<div class="inference" id="derivation-use"><div class="ruleTitle"><a class="internalDFN" href="#derivation-use">Inference 12 (derivation-use)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasDerivedFrom(id;e2,e1,a,-,-,attrs)</span> and <span class="name">wasGeneratedBy(gen;e2,a,_t2,_attrs2)</span> hold, <span class="conditional">THEN</span> there exist <span class="name">_t1</span> and <span class="name">use</span> such
that <span class="name">used(use;a,e1,_t1,[])</span> and <span class="name">wasDerivedFrom(id;e2,e1,a,gen,use,attrs)</span> hold.
@@ -1647,7 +1647,7 @@
a derivation that leaves these unspecified. (The converse is not
the case).</p>
-<div class="inference" id="specific-derivation-inference" data-count="13" data-title="Inference 13 (specific-derivation-inference)"><div class="ruleTitle"><a class="internalDFN" href="#specific-derivation-inference">Inference 13 (specific-derivation-inference)</a></div>
+<div class="inference" id="specific-derivation-inference"><div class="ruleTitle"><a class="internalDFN" href="#specific-derivation-inference">Inference 13 (specific-derivation-inference)</a></div>
<p><span class="conditional">IF</span> <span class="name">wasDerivedFrom(id;e2,e1,_act,_gen,_use,attrs)</span>
holds, <span class="conditional">THEN</span> <span class="name">wasDerivedFrom(id;e2,e1,-,-,-,attrs)</span> holds.
</p>
@@ -1658,7 +1658,7 @@
<p id="revision-is-alternate_text">A revision admits the following inference, stating that the two entities
linked by a revision are also alternates.</p>
-<div class="inference" id="revision-is-alternate" data-count="14" data-title="Inference 14 (revision-is-alternate)"><div class="ruleTitle"><a class="internalDFN" href="#revision-is-alternate">Inference 14 (revision-is-alternate)</a></div>
+<div class="inference" id="revision-is-alternate"><div class="ruleTitle"><a class="internalDFN" href="#revision-is-alternate">Inference 14 (revision-is-alternate)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasDerivedFrom(_id;e2,e1,[prov:type='prov:Revision'])</span>
holds, <span class="conditional">THEN</span> <span class="name">alternateOf(e2,e1)</span> holds.
@@ -1715,7 +1715,7 @@
and association events are not explicit in the instance, they can
be inferred.</p>
-<div class="inference" id="attribution-inference" data-count="15" data-title="Inference 15 (attribution-inference)"><div class="ruleTitle"><a class="internalDFN" href="#attribution-inference">Inference 15 (attribution-inference)</a></div>
+<div class="inference" id="attribution-inference"><div class="ruleTitle"><a class="internalDFN" href="#attribution-inference">Inference 15 (attribution-inference)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasAttributedTo(_att;e,ag,_attrs)</span> holds for some identifiers
@@ -1739,7 +1739,7 @@
activity. Both agents are associated with this activity.</p>
-<div class="inference" id="delegation-inference" data-count="16" data-title="Inference 16 (delegation-inference)"><div class="ruleTitle"><a class="internalDFN" href="#delegation-inference">Inference 16 (delegation-inference)</a></div>
+<div class="inference" id="delegation-inference"><div class="ruleTitle"><a class="internalDFN" href="#delegation-inference">Inference 16 (delegation-inference)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">actedOnBehalfOf(_id;ag1, ag2, a, _attrs)</span>
@@ -1766,7 +1766,7 @@
derivation, attribution, association, and delegation. To capture this
explicitly, we allow the following inferences:
</p>
-<div class="inference" id="influence-inference" data-count="17" data-title="Inference 17 (influence-inference)"><div class="ruleTitle"><a class="internalDFN" href="#influence-inference">Inference 17 (influence-inference)</a></div>
+<div class="inference" id="influence-inference"><div class="ruleTitle"><a class="internalDFN" href="#influence-inference">Inference 17 (influence-inference)</a></div>
<p>
</p><ol>
<li>
@@ -1822,7 +1822,7 @@
<p id="alternate-reflexive_text">The relation <span class="name">alternateOf</span> is an equivalence relation: <a href="#dfn-reflexive" class="internalDFN">reflexive</a>,
<a href="#dfn-transitive" class="internalDFN">transitive</a> and <a href="#dfn-symmetric" class="internalDFN">symmetric</a>.</p>
-<div class="inference" id="alternate-reflexive" data-count="18" data-title="Inference 18 (alternate-reflexive)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-reflexive">Inference 18 (alternate-reflexive)</a></div>
+<div class="inference" id="alternate-reflexive"><div class="ruleTitle"><a class="internalDFN" href="#alternate-reflexive">Inference 18 (alternate-reflexive)</a></div>
<p>
For any entity <span class="name">e</span>, we have <span class="name">alternateOf(e,e)</span>.
</p>
@@ -1833,7 +1833,7 @@
</p><hr>
<p id="alternate-transitive_text">
- </p><div class="inference" id="alternate-transitive" data-count="19" data-title="Inference 19 (alternate-transitive)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-transitive">Inference 19 (alternate-transitive)</a></div>
+ </p><div class="inference" id="alternate-transitive"><div class="ruleTitle"><a class="internalDFN" href="#alternate-transitive">Inference 19 (alternate-transitive)</a></div>
<p><!-- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='name'>e3</span>, -->
<span class="conditional">IF</span> <span class="name">alternateOf(e1,e2)</span> and
<span class="name">alternateOf(e2,e3)</span> <span class="conditional">THEN</span> <span class="name">alternateOf(e1,e3)</span>.</p>
@@ -1844,7 +1844,7 @@
</p><hr>
<p id="alternate-symmetric_text">
- </p><div class="inference" id="alternate-symmetric" data-count="20" data-title="Inference 20 (alternate-symmetric)"><div class="ruleTitle"><a class="internalDFN" href="#alternate-symmetric">Inference 20 (alternate-symmetric)</a></div>
+ </p><div class="inference" id="alternate-symmetric"><div class="ruleTitle"><a class="internalDFN" href="#alternate-symmetric">Inference 20 (alternate-symmetric)</a></div>
<p><!-- For any entity <span class='name'>e1</span>, <span class='name'>e2</span>, -->
<span class="conditional">IF</span> <span class="name">alternateOf(e1,e2)</span> <span class="conditional">THEN</span> <span class="name">alternateOf(e2,e1)</span>.</p>
</div>
@@ -1859,7 +1859,7 @@
<a href="#dfn-transitive" class="internalDFN">transitive</a>. Irreflexivity is handled later as a
constraint.
</p>
- <div class="inference" id="specialization-transitive" data-count="21" data-title="Inference 21 (specialization-transitive)"><div class="ruleTitle"><a class="internalDFN" href="#specialization-transitive">Inference 21 (specialization-transitive)</a></div>
+ <div class="inference" id="specialization-transitive"><div class="ruleTitle"><a class="internalDFN" href="#specialization-transitive">Inference 21 (specialization-transitive)</a></div>
<p>
<!-- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, <span class='name'>e3</span>, -->
<span class="conditional">IF</span> <span class="name">specializationOf(e1,e2)</span>
@@ -1874,7 +1874,7 @@
<p id="specialization-alternate_text">If one entity specializes another, then they are also
alternates:</p>
- <div class="inference" id="specialization-alternate" data-count="22" data-title="Inference 22 (specialization-alternate)"><div class="ruleTitle"><a class="internalDFN" href="#specialization-alternate">Inference 22 (specialization-alternate)</a></div>
+ <div class="inference" id="specialization-alternate"><div class="ruleTitle"><a class="internalDFN" href="#specialization-alternate">Inference 22 (specialization-alternate)</a></div>
<p>
<!-- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>, -->
<span class="conditional">IF</span> <span class="name">specializationOf(e1,e2)</span> <span class="conditional">THEN</span> <span class="name">alternateOf(e1,e2)</span>.</p>
@@ -1885,7 +1885,7 @@
If one entity specializes another then all attributes of the more
general entity are also attributes of the more specific one.
</p>
-<div class="inference" id="specialization-attributes" data-count="23" data-title="Inference 23 (specialization-attributes)"><div class="ruleTitle"><a class="internalDFN" href="#specialization-attributes">Inference 23 (specialization-attributes)</a></div>
+<div class="inference" id="specialization-attributes"><div class="ruleTitle"><a class="internalDFN" href="#specialization-attributes">Inference 23 (specialization-attributes)</a></div>
<p>
<!-- For any entities <span class='name'>e1</span>, <span class='name'>e2</span>,-->
<span class="conditional">IF</span> <span class="name">entity(e1, attrs)</span> holds for some
@@ -1904,7 +1904,7 @@
<p id="mention-specialization_text">If one entity is a mention of another in a bundle, then the former is also a specialization of the latter:</p>
- <div class="inference" id="mention-specialization" data-count="24" data-title="Inference 24 (mention-specialization)"><div class="ruleTitle"><a class="internalDFN" href="#mention-specialization">Inference 24 (mention-specialization)</a></div>
+ <div class="inference" id="mention-specialization"><div class="ruleTitle"><a class="internalDFN" href="#mention-specialization">Inference 24 (mention-specialization)</a></div>
<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>
@@ -2004,7 +2004,7 @@
<p>
A typical uniqueness constraint is as follows:
</p>
- <div class="constraint-example" id="uniqueness-example" data-count="NNN" data-title="Constraint-example NNN (uniqueness-example)"><div class="ruleTitle"><a class="internalDFN" href="#uniqueness-example">Constraint-example NNN (uniqueness-example)</a></div>
+ <div class="constraint-example" id="uniqueness-example"><div class="ruleTitle"><a class="internalDFN" href="#uniqueness-example">Constraint-example NNN (uniqueness-example)</a></div>
<p> <span class="conditional">IF</span> <span class="name">hyp<sub>1</sub></span> and ... and <span class="name">hyp<sub>n</sub></span> <span class="conditional">THEN</span> <span class="name">t<sub>1</sub></span> = <span class="name">u<sub>1</sub></span> and ... and <span class="name">t<sub>n</sub></span> = <span class="name">u<sub>n</sub></span>.</p>
</div>
@@ -2027,7 +2027,7 @@
<a>key constraint</a>. Key constraints are written as follows:
</p>
- <div class="constraint-example" id="key-example" data-count="NNN" data-title="Constraint-example NNN (key-example)"><div class="ruleTitle"><a class="internalDFN" href="#key-example">Constraint-example NNN (key-example)</a></div>
+ <div class="constraint-example" id="key-example"><div class="ruleTitle"><a class="internalDFN" href="#key-example">Constraint-example NNN (key-example)</a></div>
<p>The <span class="name">a<sub>k</sub></span> field is a <span class="conditional">KEY</span> for relation <span class="name">r(a<sub>0</sub>;a<sub>1</sub>,...,a<sub>n</sub>)</span>. </p></div>
<p> Because of the presence of attributes, key constraints do not
@@ -2067,7 +2067,7 @@
unique statements describing them within a PROV instance, through
the following key constraints:
</p>
- <div class="constraint" id="key-object" data-count="25" data-title="Constraint 25 (key-object)"><div class="ruleTitle"><a class="internalDFN" href="#key-object">Constraint 25 (key-object)</a></div>
+ <div class="constraint" id="key-object"><div class="ruleTitle"><a class="internalDFN" href="#key-object">Constraint 25 (key-object)</a></div>
<p></p><ol>
<li>The identifier field <span class="name">e</span> is a <span class="conditional">KEY</span> for
the <span class="name">entity(e,attrs)</span> statement.
@@ -2086,7 +2086,7 @@
of relationships in PROV uniquely identify the corresponding statements a PROV instance, through
the following key constraints:
</p>
- <div class="constraint" id="key-properties" data-count="26" data-title="Constraint 26 (key-properties)"><div class="ruleTitle"><a class="internalDFN" href="#key-properties">Constraint 26 (key-properties)</a></div>
+ <div class="constraint" id="key-properties"><div class="ruleTitle"><a class="internalDFN" href="#key-properties">Constraint 26 (key-properties)</a></div>
<p></p><ol>
<li>The identifier field <span class="name">id</span> is a <span class="conditional">KEY</span> for
the <span class="name">wasGeneratedBy(id;e,a,t,attrs)</span> statement.
@@ -2145,7 +2145,7 @@
</div>
-<div class="constraint" id="unique-generation" data-count="27" data-title="Constraint 27 (unique-generation)"><div class="ruleTitle"><a class="internalDFN" href="#unique-generation">Constraint 27 (unique-generation)</a></div>
+<div class="constraint" id="unique-generation"><div class="ruleTitle"><a class="internalDFN" href="#unique-generation">Constraint 27 (unique-generation)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasGeneratedBy(id1;e,_a1,_t1,_attrs1)</span> and <span class="name">wasGeneratedBy(id2;e,_a2,_t2,_attrs2)</span>,
<span class="conditional">THEN</span> <span class="name">id1</span>=<span class="name">id2</span>.</p>
@@ -2155,7 +2155,7 @@
<div id="unique-invalidation_text">
-<div class="constraint" id="unique-invalidation" data-count="28" data-title="Constraint 28 (unique-invalidation)"><div class="ruleTitle"><a class="internalDFN" href="#unique-invalidation">Constraint 28 (unique-invalidation)</a></div>
+<div class="constraint" id="unique-invalidation"><div class="ruleTitle"><a class="internalDFN" href="#unique-invalidation">Constraint 28 (unique-invalidation)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasInvalidatedBy(id1;e,_a1,_t1,_attrs1)</span> and <span class="name">wasInvalidatedBy(id2;e,_a2,_t2,_attrs2)</span>,
<span class="conditional">THEN</span> <span class="name">id1</span>=<span class="name">id2</span>.</p>
@@ -2177,7 +2177,7 @@
activity is a key for activity start and end statements.
</p>
-<div class="constraint" id="unique-wasStartedBy" data-count="29" data-title="Constraint 29 (unique-wasStartedBy)"><div class="ruleTitle"><a class="internalDFN" href="#unique-wasStartedBy">Constraint 29 (unique-wasStartedBy)</a></div>
+<div class="constraint" id="unique-wasStartedBy"><div class="ruleTitle"><a class="internalDFN" href="#unique-wasStartedBy">Constraint 29 (unique-wasStartedBy)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasStartedBy(id1;a,_e1,_a1,_t1,_attrs1)</span> and <span class="name">wasStartedBy(id2;a,_e2,_a2,_t2,_attrs2)</span>, <span class="conditional">THEN</span> <span class="name">id</span>=<span class="name">id'</span>.</p>
</div>
@@ -2185,7 +2185,7 @@
<hr>
<p id="unique-wasEndedBy_text">
-</p><div class="constraint" id="unique-wasEndedBy" data-count="30" data-title="Constraint 30 (unique-wasEndedBy)"><div class="ruleTitle"><a class="internalDFN" href="#unique-wasEndedBy">Constraint 30 (unique-wasEndedBy)</a></div>
+</p><div class="constraint" id="unique-wasEndedBy"><div class="ruleTitle"><a class="internalDFN" href="#unique-wasEndedBy">Constraint 30 (unique-wasEndedBy)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">wasEndedBy(id1;a,_e1,_a1,_t1,_attrs1)</span> and <span class="name">wasEndedBy(id2;a,_e2,_a2,_t2,_attrs2)</span>, <span class="conditional">THEN</span> <span class="name">id</span>=<span class="name">id'</span>.</p>
</div>
@@ -2200,7 +2200,7 @@
</p><p id="unique-startTime_text">An <a href="#dfn-start-event" class="internalDFN">activity start event</a> is the <a title="instantaneous event" href="#dfn-event" class="internalDFN">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 <em class="rfc2119" title="must">must</em> be the same, as expressed by the following constraint.</span>
</p>
-<div class="constraint" id="unique-startTime" data-count="31" data-title="Constraint 31 (unique-startTime)"><div class="ruleTitle"><a class="internalDFN" href="#unique-startTime">Constraint 31 (unique-startTime)</a></div>
+<div class="constraint" id="unique-startTime"><div class="ruleTitle"><a class="internalDFN" href="#unique-startTime">Constraint 31 (unique-startTime)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">activity(a,t,_t',_attrs)</span> and <span class="name">wasStartedBy(id;a,_e1,_a1,t1,_attrs1)</span>, <span class="conditional">THEN</span> <span class="name">t</span>=<span class="name">t1</span>.</p>
</div>
@@ -2210,7 +2210,7 @@
<p id="unique-endTime_text">An <a href="#dfn-end-event" class="internalDFN">activity end event</a> is the <a title="instantaneous event" href="#dfn-event" class="internalDFN">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 <em class="rfc2119" title="must">must</em> be the same, as expressed by the following constraint.</span>
</p>
-<div class="constraint" id="unique-endTime" data-count="32" data-title="Constraint 32 (unique-endTime)"><div class="ruleTitle"><a class="internalDFN" href="#unique-endTime">Constraint 32 (unique-endTime)</a></div>
+<div class="constraint" id="unique-endTime"><div class="ruleTitle"><a class="internalDFN" href="#unique-endTime">Constraint 32 (unique-endTime)</a></div>
<p>
<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">t1</span>.</p>
</div>
@@ -2231,7 +2231,7 @@
</div>
-<div class="constraint" id="mention-unique" data-count="33" data-title="Constraint 33 (mention-unique)"><div class="ruleTitle"><a class="internalDFN" href="#mention-unique">Constraint 33 (mention-unique)</a></div>
+<div class="constraint" id="mention-unique"><div class="ruleTitle"><a class="internalDFN" href="#mention-unique">Constraint 33 (mention-unique)</a></div>
<p>
<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>
@@ -2299,7 +2299,7 @@
<p> A typical ordering constraint is as follows.</p>
- <div class="constraint-example" id="ordering-example" data-count="NNN" data-title="Constraint-example NNN (ordering-example)"><div class="ruleTitle"><a class="internalDFN" href="#ordering-example">Constraint-example NNN (ordering-example)</a></div>
+ <div class="constraint-example" id="ordering-example"><div class="ruleTitle"><a class="internalDFN" href="#ordering-example">Constraint-example NNN (ordering-example)</a></div>
<p><span class="conditional">IF</span> <span class="name">hyp<sub>1</sub></span> and ... and <span class="name">hyp<sub>n</sub></span> <span class="conditional">THEN</span> <span class="name">evt1</span> <a href="#dfn-precedes" class="internalDFN">precedes</a>/<a title="precedes" href="#dfn-precedes" class="internalDFN">strictly precedes</a> <span class="name">evt2</span>. </p></div>
<p>
The conclusion of an ordering constraint is either <a href="#dfn-precedes" class="internalDFN">precedes</a>
@@ -2361,7 +2361,7 @@
<span class="figure" id="ordering-activity">
<img src="images/constraints/ordering-activity.png" alt="constraints between events">
<br>
-<span class="figcaption" data-count="2" id="ordering-activity-fig">Figure 2<sup><a class="internalDFN" href="#ordering-activity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for activities</span> <!-- <b>Figure 2:</b> -->
+<span class="figcaption" id="ordering-activity-fig">Figure 2<sup><a class="internalDFN" href="#ordering-activity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for activities</span> <!-- <b>Figure 2:</b> -->
</span>
</div>
@@ -2377,7 +2377,7 @@
<a href="#ordering-activity">Figure 2</a>
(a) and expressed by <a class="rule-ref" href="#start-precedes-end"><span>Constraint 34 (start-precedes-end)</span></a>.</p>
-<div class="constraint" id="start-precedes-end" data-count="34" data-title="Constraint 34 (start-precedes-end)"><div class="ruleTitle"><a class="internalDFN" href="#start-precedes-end">Constraint 34 (start-precedes-end)</a></div>
+<div class="constraint" id="start-precedes-end"><div class="ruleTitle"><a class="internalDFN" href="#start-precedes-end">Constraint 34 (start-precedes-end)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasStartedBy(start;a,_e1,_a1,_t1,_attrs1)</span>
@@ -2395,7 +2395,7 @@
<p id="usage-within-activity_text">A usage implies ordering of <a title="instantaneous event" href="#dfn-event" class="internalDFN">events</a>, since the <a title="entity usage event" href="#dfn-usage-event" class="internalDFN">usage event</a> had to occur during the associated activity. This is
illustrated by <a href="#ordering-activity">Figure 2</a> (b) and expressed by <a class="rule-ref" href="#usage-within-activity"><span>Constraint 35 (usage-within-activity)</span></a>.</p>
-<div class="constraint" id="usage-within-activity" data-count="35" data-title="Constraint 35 (usage-within-activity)"><div class="ruleTitle"><a class="internalDFN" href="#usage-within-activity">Constraint 35 (usage-within-activity)</a></div>
+<div class="constraint" id="usage-within-activity"><div class="ruleTitle"><a class="internalDFN" href="#usage-within-activity">Constraint 35 (usage-within-activity)</a></div>
<ol>
<li>
<span class="conditional">IF</span>
@@ -2428,7 +2428,7 @@
<p id="generation-within-activity_text">A generation implies ordering of <a title="instantaneous event" href="#dfn-event" class="internalDFN">events</a>, since the <a title="entity generation event" href="#dfn-generation-event" class="internalDFN">generation event</a> had to occur during the associated activity. This is
illustrated by <a href="#ordering-activity">Figure 2</a> (c) and expressed by <a class="rule-ref" href="#generation-within-activity"><span>Constraint 36 (generation-within-activity)</span></a>.</p>
-<div class="constraint" id="generation-within-activity" data-count="36" data-title="Constraint 36 (generation-within-activity)"><div class="ruleTitle"><a class="internalDFN" href="#generation-within-activity">Constraint 36 (generation-within-activity)</a></div>
+<div class="constraint" id="generation-within-activity"><div class="ruleTitle"><a class="internalDFN" href="#generation-within-activity">Constraint 36 (generation-within-activity)</a></div>
<ol>
<li>
<span class="conditional">IF</span>
@@ -2467,7 +2467,7 @@
<a href="#ordering-activity">Figure 2</a>
(d) and expressed by <a class="rule-ref" href="#wasInformedBy-ordering"><span>Constraint 37 (wasInformedBy-ordering)</span></a>.</p>
-<div class="constraint" id="wasInformedBy-ordering" data-count="37" data-title="Constraint 37 (wasInformedBy-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#wasInformedBy-ordering">Constraint 37 (wasInformedBy-ordering)</a></div>
+<div class="constraint" id="wasInformedBy-ordering"><div class="ruleTitle"><a class="internalDFN" href="#wasInformedBy-ordering">Constraint 37 (wasInformedBy-ordering)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasInformedBy(_id;a2,a1,_attrs)</span>
@@ -2531,7 +2531,7 @@
<span class="figure" id="ordering-entity">
<img src="images/constraints/ordering-entity.png" alt="ordering constraints for entities">
<br>
-<span class="figcaption" data-count="3" id="ordering-entity-fig">Figure 3<sup><a class="internalDFN" href="#ordering-entity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for entities</span></span> <!-- <b>Figure 3:</b> -->
+<span class="figcaption" id="ordering-entity-fig">Figure 3<sup><a class="internalDFN" href="#ordering-entity-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for entities</span></span> <!-- <b>Figure 3:</b> -->
</div>
<p>
@@ -2544,7 +2544,7 @@
explicitly to cover the case of an entity that is generated and
invalidated without being used.)</p>
-<div class="constraint" id="generation-precedes-invalidation" data-count="38" data-title="Constraint 38 (generation-precedes-invalidation)"><div class="ruleTitle"><a class="internalDFN" href="#generation-precedes-invalidation">Constraint 38 (generation-precedes-invalidation)</a></div>
+<div class="constraint" id="generation-precedes-invalidation"><div class="ruleTitle"><a class="internalDFN" href="#generation-precedes-invalidation">Constraint 38 (generation-precedes-invalidation)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasGeneratedBy(gen;e,_a1,_t1,_attrs1)</span>
@@ -2567,7 +2567,7 @@
event" href="#dfn-generation-event" class="internalDFN">generation event</a> had to precede the <a title="entity usage event" href="#dfn-usage-event" class="internalDFN">usage event</a>. This is
illustrated by <a href="#ordering-entity">Figure 3</a>(a) and expressed by <a class="rule-ref" href="#generation-precedes-usage"><span>Constraint 39 (generation-precedes-usage)</span></a>.</p>
-<div class="constraint" id="generation-precedes-usage" data-count="39" data-title="Constraint 39 (generation-precedes-usage)"><div class="ruleTitle"><a class="internalDFN" href="#generation-precedes-usage">Constraint 39 (generation-precedes-usage)</a></div>
+<div class="constraint" id="generation-precedes-usage"><div class="ruleTitle"><a class="internalDFN" href="#generation-precedes-usage">Constraint 39 (generation-precedes-usage)</a></div>
<p> <span class="conditional">IF</span>
<span class="name">wasGeneratedBy(gen;e,_a1,_t1,_attrs1)</span>
and
@@ -2584,7 +2584,7 @@
<p id="usage-precedes-invalidation_text">All usages of an entity precede its invalidation, which is captured by <a class="rule-ref" href="#usage-precedes-invalidation"><span>Constraint 40 (usage-precedes-invalidation)</span></a> (without any explicit graphical representation).</p>
-<div class="constraint" id="usage-precedes-invalidation" data-count="40" data-title="Constraint 40 (usage-precedes-invalidation)"><div class="ruleTitle"><a class="internalDFN" href="#usage-precedes-invalidation">Constraint 40 (usage-precedes-invalidation)</a></div>
+<div class="constraint" id="usage-precedes-invalidation"><div class="ruleTitle"><a class="internalDFN" href="#usage-precedes-invalidation">Constraint 40 (usage-precedes-invalidation)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">used(use;_a1,e,_t1,_attrs1)</span>
@@ -2612,7 +2612,7 @@
illustrated by <a href="#ordering-entity-fig">Figure 3</a> (b) and expressed by <a class="rule-ref" href="#derivation-usage-generation-ordering"><span>Constraint 41 (derivation-usage-generation-ordering)</span></a>.</p>
-<div class="constraint" id="derivation-usage-generation-ordering" data-count="41" data-title="Constraint 41 (derivation-usage-generation-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#derivation-usage-generation-ordering">Constraint 41 (derivation-usage-generation-ordering)</a></div>
+<div class="constraint" id="derivation-usage-generation-ordering"><div class="ruleTitle"><a class="internalDFN" href="#derivation-usage-generation-ordering">Constraint 41 (derivation-usage-generation-ordering)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasDerivedFrom(_d;_e2,_e1,_a,gen2,use1,_attrs)</span>
@@ -2630,7 +2630,7 @@
generation event, as
illustrated by <a href="#ordering-entity-fig">Figure 3</a> (c) and expressed by <a class="rule-ref" href="#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</span></a>.</p>
-<div class="constraint" id="derivation-generation-generation-ordering" data-count="42" data-title="Constraint 42 (derivation-generation-generation-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a></div>
+<div class="constraint" id="derivation-generation-generation-ordering"><div class="ruleTitle"><a class="internalDFN" href="#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a></div>
<p>
<span class="conditional">IF</span>
<span class="name">wasDerivedFrom(_d;e2,e1,attrs)</span>
@@ -2658,7 +2658,7 @@
illustrated by <a href="#ordering-entity-trigger">Figure 4</a>(a) and expressed by <a class="rule-ref" href="#wasStartedBy-ordering"><span>Constraint 43 (wasStartedBy-ordering)</span></a>.</p>
-<div class="constraint" id="wasStartedBy-ordering" data-count="43" data-title="Constraint 43 (wasStartedBy-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#wasStartedBy-ordering">Constraint 43 (wasStartedBy-ordering)</a></div>
+<div class="constraint" id="wasStartedBy-ordering"><div class="ruleTitle"><a class="internalDFN" href="#wasStartedBy-ordering">Constraint 43 (wasStartedBy-ordering)</a></div>
<ol>
<li>
<span class="conditional">IF</span>
@@ -2690,7 +2690,7 @@
<a href="#ordering-entity-trigger">Figure 4</a>(b).</p>
-<div class="constraint" id="wasEndedBy-ordering" data-count="44" data-title="Constraint 44 (wasEndedBy-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#wasEndedBy-ordering">Constraint 44 (wasEndedBy-ordering)</a></div>
+<div class="constraint" id="wasEndedBy-ordering"><div class="ruleTitle"><a class="internalDFN" href="#wasEndedBy-ordering">Constraint 44 (wasEndedBy-ordering)</a></div>
<ol>
<li>
<span class="conditional">IF</span>
@@ -2718,7 +2718,7 @@
<span class="figure" id="ordering-entity-trigger">
<img src="images/constraints/ordering-entity-trigger.png" alt="ordering constraints for trigger entities">
<br>
-<span class="figcaption" data-count="4" id="ordering-entity-trigger-fig">Figure 4<sup><a class="internalDFN" href="#ordering-entity-trigger-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for trigger entities</span> <!-- <b>Figure 4:</b> -->
+<span class="figcaption" id="ordering-entity-trigger-fig">Figure 4<sup><a class="internalDFN" href="#ordering-entity-trigger-fig"><span class="diamond"> ◊:</span></a></sup> Summary of <a title="instantaneous event" href="#dfn-event" class="internalDFN">instantaneous event</a> ordering constraints for trigger entities</span> <!-- <b>Figure 4:</b> -->
</span>
</div>
@@ -2727,7 +2727,7 @@
If an entity specalizes another, then its generation must follow the
specialized entity's generation.
</p>
-<div class="constraint" id="specialization-generation" data-count="45" data-title="Constraint 45 (specialization-generation)"><div class="ruleTitle"><a class="internalDFN" href="#specialization-generation">Constraint 45 (specialization-generation)</a></div>
+<div class="constraint" id="specialization-generation"><div class="ruleTitle"><a class="internalDFN" href="#specialization-generation">Constraint 45 (specialization-generation)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">specializationOf(e2,e1)</span> and <span class="name">wasGeneratedBy(gen1;e1,_a1,_t1,_attrs1)</span> and
<span class="name">wasGeneratedBy(gen2;e2,_a2,_t2,_attrs2)</span>
@@ -2740,7 +2740,7 @@
<p id="specialization-invalidation_text">
Similarly, if an entity specalizes another, then its invalidation must follow the
specialized entity's invalidation.
-</p><div class="constraint" id="specialization-invalidation" data-count="46" data-title="Constraint 46 (specialization-invalidation)"><div class="ruleTitle"><a class="internalDFN" href="#specialization-invalidation">Constraint 46 (specialization-invalidation)</a></div>
+</p><div class="constraint" id="specialization-invalidation"><div class="ruleTitle"><a class="internalDFN" href="#specialization-invalidation">Constraint 46 (specialization-invalidation)</a></div>
<p>
<span class="conditional">IF</span> <span class="name">specializationOf(e2,e1)</span> and <span class="name">wasInvalidatedBy(inv1;e1,_a1,_t1,_attrs1)</span> and
<span class="name">wasInvalidatedBy(inv2;e2,_a2,_t2,_attrs2)</span>
@@ -2778,7 +2778,7 @@
illustrated by <a href="#ordering-agents">Figure 5</a> (a) and expressed by <a class="rule-ref" href="#wasAssociatedWith-ordering"><span>Constraint 47 (wasAssociatedWith-ordering)</span></a>.</p>
-<div class="constraint" id="wasAssociatedWith-ordering" data-count="47" data-title="Constraint 47 (wasAssociatedWith-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a></div>
+<div class="constraint" id="wasAssociatedWith-ordering"><div class="ruleTitle"><a class="internalDFN" href="#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a></div>
<ol> <li>
<span class="conditional">IF</span>
<span class="name">wasAssociatedWith(_assoc;a,ag,_pl,_attrs)</span>
@@ -2819,7 +2819,7 @@
-<div class="constraint" id="wasAttributedTo-ordering" data-count="48" data-title="Constraint 48 (wasAttributedTo-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a></div>
+<div class="constraint" id="wasAttributedTo-ordering"><div class="ruleTitle"><a class="internalDFN" href="#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a></div>
<ol> <li>
<span class="conditional">IF</span>
<span class="name">wasAttributedTo(_at;e,ag,_attrs)</span>
@@ -2852,7 +2852,7 @@
<p id="actedOnBehalfOf-ordering_text">For delegation, two agents need to have some overlap in their lifetime.</p>
-<div class="constraint" id="actedOnBehalfOf-ordering" data-count="49" data-title="Constraint 49 (actedOnBehalfOf-ordering)"><div class="ruleTitle"><a class="internalDFN" href="#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a></div>
+<div class="constraint" id="actedOnBehalfOf-ordering"><div class="ruleTitle"><a class="internalDFN" href="#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a></div>
<p> <span class="conditional">IF</span>
<span class="name">actedOnBehalfOf(_del;ag2,ag1,_a,_attrs)</span>
and
@@ -2878,7 +2878,7 @@
constraints have the following general form:
</p>
-<div class="constraint-example" id="impossible-example" data-count="NNN" data-title="Constraint-example NNN (impossible-example)"><div class="ruleTitle"><a class="internalDFN" href="#impossible-example">Constraint-example NNN (impossible-example)</a></div>
+<div class="constraint-example" id="impossible-example"><div class="ruleTitle"><a class="internalDFN" href="#impossible-example">Constraint-example NNN (impossible-example)</a></div>
<p><span class="conditional">IF</span> <span class="name">hyp<sub>1</sub></span> and ... and <span class="name">hyp<sub>n</sub></span> <span class="conditional">THEN</span> <span class="conditional">INVALID</span>.</p>
</div>
@@ -2894,7 +2894,7 @@
be <a href="#dfn-irreflexive" class="internalDFN">irreflexive</a>, that is, it is impossible for something to
influence itself.</p>
- <div class="constraint" id="impossible-influence-reflexive" data-count="50" data-title="Constraint 50 (impossible-influence-reflexive)"><div class="ruleTitle"><a class="internalDFN" href="#impossible-influence-reflexive">Constraint 50 (impossible-influence-reflexive)</a></div>
+ <div class="constraint" id="impossible-influence-reflexive"><div class="ruleTitle"><a class="internalDFN" href="#impossible-influence-reflexive">Constraint 50 (impossible-influence-reflexive)</a></div>
<p> <span class="conditional">IF</span> <span class="name">wasInfluencedBy(e,e)</span> <span class="conditional">THEN</span> <span class="conditional">INVALID</span>.</p>
</div>
@@ -2907,7 +2907,7 @@
<a href="#dfn-strict-partial-order" class="internalDFN">strict partial order</a>: it is <a href="#dfn-irreflexive" class="internalDFN">irreflexive</a> and
<a href="#dfn-transitive" class="internalDFN">transitive</a>.</p>
- <div class="constraint" id="impossible-specialization-reflexive" data-count="51" data-title="Constraint 51 (impossible-specialization-reflexive)"><div class="ruleTitle"><a class="internalDFN" href="#impossible-specialization-reflexive">Constraint 51 (impossible-specialization-reflexive)</a></div>
+ <div class="constraint" id="impossible-specialization-reflexive"><div class="ruleTitle"><a class="internalDFN" href="#impossible-specialization-reflexive">Constraint 51 (impossible-specialization-reflexive)</a></div>
<!--<p>
For any entity <span class='name'>e</span>, it is not the case that
<span class='name'>specializationOf(e,e)</span> holds.</p>-->
@@ -2940,7 +2940,7 @@
<p id="impossible-property-overlap_text"> Furthermore, identifiers
of basic relationships are disjoint.
</p>
- <div class="constraint" id="impossible-property-overlap" data-count="52" data-title="Constraint 52 (impossible-property-overlap)"><div class="ruleTitle"><a class="internalDFN" href="#impossible-property-overlap">Constraint 52 (impossible-property-overlap)</a></div>
+ <div class="constraint" id="impossible-property-overlap"><div class="ruleTitle"><a class="internalDFN" href="#impossible-property-overlap">Constraint 52 (impossible-property-overlap)</a></div>
<p>
For each <span class="name">r</span> and <span class="name">s</span>
in {
@@ -2970,7 +2970,7 @@
<p id="impossible-object-property-overlap_text"> Identifiers of entities,
agents and activities cannot also be identifiers of properties.
</p>
- <div class="constraint" id="impossible-object-property-overlap" data-count="53" data-title="Constraint 53 (impossible-object-property-overlap)"><div class="ruleTitle"><a class="internalDFN" href="#impossible-object-property-overlap">Constraint 53 (impossible-object-property-overlap)</a></div>
+ <div class="constraint" id="impossible-object-property-overlap"><div class="ruleTitle"><a class="internalDFN" href="#impossible-object-property-overlap">Constraint 53 (impossible-object-property-overlap)</a></div>
<p>
For each <span class="name">r</span> in <span class="name">entity</span>, <span class="name">activity</span>
or <span class="name">agent</span> and for each <span class="name">s</span> in {
@@ -3019,7 +3019,7 @@
<a class="rule-ref" href="#membership-empty-collection"><span>Constraint 56 (membership-empty-collection)</span></a>.</p>
-<div class="constraint" id="typing" data-count="54" data-title="Constraint 54 (typing)"><div class="ruleTitle"><a class="internalDFN" href="#typing">Constraint 54 (typing)</a></div>
+<div class="constraint" id="typing"><div class="ruleTitle"><a class="internalDFN" href="#typing">Constraint 54 (typing)</a></div>
<ul>
@@ -3188,7 +3188,7 @@
<p id="entity-activity-disjoint_text"> The set of entities and activities are disjoint, expressed by
the following constraint:
</p>
- <div class="constraint" id="entity-activity-disjoint" data-count="55" data-title="Constraint 55 (entity-activity-disjoint)"><div class="ruleTitle"><a class="internalDFN" href="#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a></div>
+ <div class="constraint" id="entity-activity-disjoint"><div class="ruleTitle"><a class="internalDFN" href="#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a></div>
<!-- <p>It is not the case that <span class="name">entity(id,_attrs1)</span> and
<span class="name">activity(id,_t1,_t2,_attrs2)</span>.
</p>-->
@@ -3210,7 +3210,7 @@
<p id="membership-empty-collection_text"> An empty collection cannot contain any member, expressed by
the following constraint:
</p>
- <div class="constraint" id="membership-empty-collection" data-count="56" data-title="Constraint 56 (membership-empty-collection)"><div class="ruleTitle"><a class="internalDFN" href="#membership-empty-collection">Constraint 56 (membership-empty-collection)</a></div>
+ <div class="constraint" id="membership-empty-collection"><div class="ruleTitle"><a class="internalDFN" href="#membership-empty-collection">Constraint 56 (membership-empty-collection)</a></div>
<p> <span class="conditional">IF</span>
<span class="name">hasMember(c,e)</span> and
<span class="name">'prov:EmptyCollection' ∈ typeOf(c)</span>