--- a/testcases/process.html Fri Nov 30 15:20:21 2012 +0000
+++ b/testcases/process.html Fri Nov 30 15:41:57 2012 +0000
@@ -117,7 +117,7 @@
<p>The provenance document for each test case will be provided in the following representations:</p>
-<table border="1" cellspacing="0" cellpadding="0" width="623">
+<table class="simple">
<caption>Table 1. File representations provided for test cases.</caption>
<tr>
<th>Representation</th>
@@ -201,18 +201,18 @@
<p>All test cases need to be checked for the constraints they cover and their expected
validation results (i.e. Pass or Fail).</p>
-<table border="1" cellspacing="0" cellpadding="5" id="table-unit-test-cases">
+<table class="simple" id="table-unit-test-cases">
<caption>Table 2. PROV-CONSTRAINTS test cases</caption>
<tr>
- <td><b>Identifier</b></td>
- <td><b>Constraints</b></td>
- <td><b>Expected Validation Result</b></td>
- <td><b>Download links</b></td>
+ <th>Identifier</th>
+ <th>Constraints</th>
+ <th>Expected Validation Result</th>
+ <th>Download links</th>
</tr>
<tr>
<td id="ordering-activity1-PASS-c30"><a class="internalDFN" href="#ordering-activity1-PASS-c30">ordering-activity1-PASS-c30</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-precedes-end"><span>Constraint 30 (start-precedes-end)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-precedes-end">Constraint 30 (start-precedes-end)</a>
</td>
<td>PASS</td>
<td>
@@ -224,7 +224,7 @@
<tr>
<td id="ordering-activity2-PASS-c33"><a class="internalDFN" href="#ordering-activity2-PASS-c33">ordering-activity2-PASS-c33</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-within-activity"><span>Constraint 33 (usage-within-activity)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-within-activity">Constraint 33 (usage-within-activity)</a>
</td>
<td>PASS</td>
<td>
@@ -236,7 +236,7 @@
<tr>
<td id="ordering-activity3-PASS-c34"><a class="internalDFN" href="#ordering-activity3-PASS-c34">ordering-activity3-PASS-c34</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-within-activity"><span>Constraint 34 (generation-within-activity)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-within-activity">Constraint 34 (generation-within-activity)</a>
</td>
<td>PASS</td>
<td>
@@ -248,7 +248,7 @@
<tr>
<td id="ordering-activity4-PASS-c31"><a class="internalDFN" href="#ordering-activity4-PASS-c31">ordering-activity4-PASS-c31</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-start-ordering"><span>Constraint 31 (start-start-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-start-ordering">Constraint 31 (start-start-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -260,7 +260,7 @@
<tr>
<td id="ordering-activity5-PASS-c32"><a class="internalDFN" href="#ordering-activity5-PASS-c32">ordering-activity5-PASS-c32</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#end-end-ordering"><span>Constraint 32 (end-end-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#end-end-ordering">Constraint 32 (end-end-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -272,7 +272,7 @@
<tr>
<td id="ordering-association1-PASS-c47"><a class="internalDFN" href="#ordering-association1-PASS-c47">ordering-association1-PASS-c47</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering"><span>Constraint 47 (wasAssociatedWith-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -284,7 +284,7 @@
<tr>
<td id="ordering-association2-PASS-c47"><a class="internalDFN" href="#ordering-association2-PASS-c47">ordering-association2-PASS-c47</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering"><span>Constraint 47 (wasAssociatedWith-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -296,7 +296,7 @@
<tr>
<td id="ordering-attribution1-PASS-c48"><a class="internalDFN" href="#ordering-attribution1-PASS-c48">ordering-attribution1-PASS-c48</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering"><span>Constraint 48 (wasAttributedTo-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -308,7 +308,7 @@
<tr>
<td id="ordering-attribution2-PASS-c48"><a class="internalDFN" href="#ordering-attribution2-PASS-c48">ordering-attribution2-PASS-c48</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering"><span>Constraint 48 (wasAttributedTo-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -320,7 +320,7 @@
<tr>
<td id="ordering-delegation1-PASS-c49"><a class="internalDFN" href="#ordering-delegation1-PASS-c49">ordering-delegation1-PASS-c49</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering"><span>Constraint 49 (actedOnBehalfOf-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -332,7 +332,7 @@
<tr>
<td id="ordering-delegation2-PASS-c49"><a class="internalDFN" href="#ordering-delegation2-PASS-c49">ordering-delegation2-PASS-c49</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering"><span>Constraint 49 (actedOnBehalfOf-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -344,7 +344,7 @@
<tr>
<td id="ordering-derivation1-PASS-c42"><a class="internalDFN" href="#ordering-derivation1-PASS-c42">ordering-derivation1-PASS-c42</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -356,7 +356,7 @@
<tr>
<td id="ordering-derivation2-FAIL-c42"><a class="internalDFN" href="#ordering-derivation2-FAIL-c42">ordering-derivation2-FAIL-c42</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a>
</td>
<td>FAIL</td>
<td>
@@ -368,8 +368,8 @@
<tr>
<td id="ordering-derivation3-PASS-c41-c42"><a class="internalDFN" href="#ordering-derivation3-PASS-c41-c42">ordering-derivation3-PASS-c41-c42</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-usage-generation-ordering"><span>Constraint 41 (derivation-usage-generation-ordering)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-usage-generation-ordering">Constraint 41 (derivation-usage-generation-ordering)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -381,7 +381,7 @@
<tr>
<td id="ordering-ends1-PASS-c44"><a class="internalDFN" href="#ordering-ends1-PASS-c44">ordering-ends1-PASS-c44</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasEndedBy-ordering"><span>Constraint 44 (wasEndedBy-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasEndedBy-ordering">Constraint 44 (wasEndedBy-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -393,9 +393,9 @@
<tr>
<td id="ordering-entity1-PASS-c36-c37-c38"><a class="internalDFN" href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation"><span>Constraint 36 (generation-precedes-invalidation)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-usage"><span>Constraint 37 (generation-precedes-usage)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-precedes-invalidation"><span>Constraint 38 (usage-precedes-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation">Constraint 36 (generation-precedes-invalidation)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-usage">Constraint 37 (generation-precedes-usage)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-precedes-invalidation">Constraint 38 (usage-precedes-invalidation)</a>
</td>
<td>PASS</td>
<td>
@@ -407,7 +407,7 @@
<tr>
<td id="ordering-entity2-PASS-c36"><a class="internalDFN" href="#ordering-entity2-PASS-c36">ordering-entity2-PASS-c36</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation"><span>Constraint 36 (generation-precedes-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation">Constraint 36 (generation-precedes-invalidation)</a>
</td>
<td>PASS</td>
<td>
@@ -419,7 +419,7 @@
<tr>
<td id="ordering-entity3-PASS-c39"><a class="internalDFN" href="#ordering-entity3-PASS-c39">ordering-entity3-PASS-c39</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-generation-ordering"><span>Constraint 39 (generation-generation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-generation-ordering">Constraint 39 (generation-generation-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -431,7 +431,7 @@
<tr>
<td id="ordering-entity4-PASS-c40"><a class="internalDFN" href="#ordering-entity4-PASS-c40">ordering-entity4-PASS-c40</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#invalidation-invalidation-ordering"><span>Constraint 40 (invalidation-invalidation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#invalidation-invalidation-ordering">Constraint 40 (invalidation-invalidation-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -443,7 +443,7 @@
<tr>
<td id="ordering-specialization1-PASS-c45"><a class="internalDFN" href="#ordering-specialization1-PASS-c45">ordering-specialization1-PASS-c45</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering"><span>Constraint 45 (specialization-generation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -455,7 +455,7 @@
<tr>
<td id="ordering-specialization2-PASS-c46"><a class="internalDFN" href="#ordering-specialization2-PASS-c46">ordering-specialization2-PASS-c46</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-invalidation-ordering"><span>Constraint 46 (specialization-invalidation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-invalidation-ordering">Constraint 46 (specialization-invalidation-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -467,8 +467,8 @@
<tr>
<td id="ordering-specialization3-PASS-c42-c45"><a class="internalDFN" href="#ordering-specialization3-PASS-c42-c45">ordering-specialization3-PASS-c42-c45</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering"><span>Constraint 45 (specialization-generation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -480,8 +480,8 @@
<tr>
<td id="ordering-specialization4-FAIL-c42-c45"><a class="internalDFN" href="#ordering-specialization4-FAIL-c42-c45">ordering-specialization4-FAIL-c42-c45</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering"><span>Constraint 45 (specialization-generation-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a>
</td>
<td>FAIL</td>
<td>
@@ -493,7 +493,7 @@
<tr>
<td id="ordering-starts1-PASS-c43"><a class="internalDFN" href="#ordering-starts1-PASS-c43">ordering-starts1-PASS-c43</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasStartedBy-ordering"><span>Constraint 43 (wasStartedBy-ordering)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasStartedBy-ordering">Constraint 43 (wasStartedBy-ordering)</a>
</td>
<td>PASS</td>
<td>
@@ -505,7 +505,7 @@
<tr>
<td id="type-collection-FAIL-c56"><a class="internalDFN" href="#type-collection-FAIL-c56">type-collection-FAIL-c56</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection"><span>Constraint 56 (membership-empty-collection)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection">Constraint 56 (membership-empty-collection)</a>
</td>
<td>FAIL</td>
<td>
@@ -517,7 +517,7 @@
<tr>
<td id="type-f1-FAIL-c55"><a class="internalDFN" href="#type-f1-FAIL-c55">type-f1-FAIL-c55</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint"><span>Constraint 55 (entity-activity-disjoint)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a>
</td>
<td>FAIL</td>
<td>
@@ -529,7 +529,7 @@
<tr>
<td id="type-f2-FAIL-c55"><a class="internalDFN" href="#type-f2-FAIL-c55">type-f2-FAIL-c55</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint"><span>Constraint 55 (entity-activity-disjoint)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a>
</td>
<td>FAIL</td>
<td>
@@ -541,7 +541,7 @@
<tr>
<td id="type-f3-FAIL-c54"><a class="internalDFN" href="#type-f3-FAIL-c54">type-f3-FAIL-c54</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-object-property-overlap"><span>Constraint 54 (impossible-object-property-overlap)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-object-property-overlap">Constraint 54 (impossible-object-property-overlap)</a>
</td>
<td>FAIL</td>
<td>
@@ -553,7 +553,7 @@
<tr>
<td id="type-f4-FAIL-c53"><a class="internalDFN" href="#type-f4-FAIL-c53">type-f4-FAIL-c53</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-property-overlap"><span>Constraint 53 (impossible-property-overlap)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-property-overlap">Constraint 53 (impossible-property-overlap)</a>
</td>
<td>FAIL</td>
<td>
@@ -565,7 +565,7 @@
<tr>
<td id="unification-activity-end-f1-FAIL-c29"><a class="internalDFN" href="#unification-activity-end-f1-FAIL-c29">unification-activity-end-f1-FAIL-c29</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime"><span>Constraint 29 (unique-endTime)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime">Constraint 29 (unique-endTime)</a>
</td>
<td>FAIL</td>
<td>
@@ -577,7 +577,7 @@
<tr>
<td id="unification-activity-end-s1-PASS-c29"><a class="internalDFN" href="#unification-activity-end-s1-PASS-c29">unification-activity-end-s1-PASS-c29</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime"><span>Constraint 29 (unique-endTime)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime">Constraint 29 (unique-endTime)</a>
</td>
<td>PASS</td>
<td>
@@ -589,7 +589,7 @@
<tr>
<td id="unification-activity-s1-PASS-c22"><a class="internalDFN" href="#unification-activity-s1-PASS-c22">unification-activity-s1-PASS-c22</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object"><span>Constraint 22 (key-object)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
</td>
<td>PASS</td>
<td>
@@ -601,7 +601,7 @@
<tr>
<td id="unification-activity-s2-PASS-c22"><a class="internalDFN" href="#unification-activity-s2-PASS-c22">unification-activity-s2-PASS-c22</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object"><span>Constraint 22 (key-object)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
</td>
<td>PASS</td>
<td>
@@ -613,7 +613,7 @@
<tr>
<td id="unification-activity-s3-PASS-c22"><a class="internalDFN" href="#unification-activity-s3-PASS-c22">unification-activity-s3-PASS-c22</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object"><span>Constraint 22 (key-object)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
</td>
<td>PASS</td>
<td>
@@ -625,7 +625,7 @@
<tr>
<td id="unification-activity-s4-PASS-c22"><a class="internalDFN" href="#unification-activity-s4-PASS-c22">unification-activity-s4-PASS-c22</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object"><span>Constraint 22 (key-object)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
</td>
<td>PASS</td>
<td>
@@ -637,7 +637,7 @@
<tr>
<td id="unification-activity-start-f1-FAIL-c28"><a class="internalDFN" href="#unification-activity-start-f1-FAIL-c28">unification-activity-start-f1-FAIL-c28</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime"><span>Constraint 28 (unique-startTime)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime">Constraint 28 (unique-startTime)</a>
</td>
<td>FAIL</td>
<td>
@@ -649,7 +649,7 @@
<tr>
<td id="unification-activity-start-s1-PASS-c28"><a class="internalDFN" href="#unification-activity-start-s1-PASS-c28">unification-activity-start-s1-PASS-c28</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime"><span>Constraint 28 (unique-startTime)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime">Constraint 28 (unique-startTime)</a>
</td>
<td>PASS</td>
<td>
@@ -661,7 +661,7 @@
<tr>
<td id="unification-association-f1-FAIL-c23"><a class="internalDFN" href="#unification-association-f1-FAIL-c23">unification-association-f1-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -673,7 +673,7 @@
<tr>
<td id="unification-association-f2-FAIL-c23"><a class="internalDFN" href="#unification-association-f2-FAIL-c23">unification-association-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -685,7 +685,7 @@
<tr>
<td id="unification-association-f3-FAIL-c23"><a class="internalDFN" href="#unification-association-f3-FAIL-c23">unification-association-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -697,7 +697,7 @@
<tr>
<td id="unification-association-f4-FAIL-c23"><a class="internalDFN" href="#unification-association-f4-FAIL-c23">unification-association-f4-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -709,7 +709,7 @@
<tr>
<td id="unification-association-f5-FAIL-c23"><a class="internalDFN" href="#unification-association-f5-FAIL-c23">unification-association-f5-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -733,7 +733,7 @@
<tr>
<td id="unification-association-s1-PASS-c23"><a class="internalDFN" href="#unification-association-s1-PASS-c23">unification-association-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -745,7 +745,7 @@
<tr>
<td id="unification-association-s2-PASS-c23"><a class="internalDFN" href="#unification-association-s2-PASS-c23">unification-association-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -757,7 +757,7 @@
<tr>
<td id="unification-association-s3-PASS-c23"><a class="internalDFN" href="#unification-association-s3-PASS-c23">unification-association-s3-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -769,7 +769,7 @@
<tr>
<td id="unification-association-s4-PASS-c23"><a class="internalDFN" href="#unification-association-s4-PASS-c23">unification-association-s4-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -781,7 +781,7 @@
<tr>
<td id="unification-association-s5-PASS-c23"><a class="internalDFN" href="#unification-association-s5-PASS-c23">unification-association-s5-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -793,7 +793,7 @@
<tr>
<td id="unification-attributes-activity-s1-PASS-c22"><a class="internalDFN" href="#unification-attributes-activity-s1-PASS-c22">unification-attributes-activity-s1-PASS-c22</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object"><span>Constraint 22 (key-object)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
</td>
<td>PASS</td>
<td>
@@ -805,7 +805,7 @@
<tr>
<td id="unification-attributes-end-s1-PASS-c23"><a class="internalDFN" href="#unification-attributes-end-s1-PASS-c23">unification-attributes-end-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -817,7 +817,7 @@
<tr>
<td id="unification-attributes-end-s2-PASS-c23"><a class="internalDFN" href="#unification-attributes-end-s2-PASS-c23">unification-attributes-end-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -829,7 +829,7 @@
<tr>
<td id="unification-attributes-entity-s1-PASS-c22"><a class="internalDFN" href="#unification-attributes-entity-s1-PASS-c22">unification-attributes-entity-s1-PASS-c22</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object"><span>Constraint 22 (key-object)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a>
</td>
<td>PASS</td>
<td>
@@ -841,7 +841,7 @@
<tr>
<td id="unification-attributes-start-s1-PASS-c23"><a class="internalDFN" href="#unification-attributes-start-s1-PASS-c23">unification-attributes-start-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -853,7 +853,7 @@
<tr>
<td id="unification-attributes-start-s2-PASS-c23"><a class="internalDFN" href="#unification-attributes-start-s2-PASS-c23">unification-attributes-start-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -889,7 +889,7 @@
<tr>
<td id="unification-attribution-s1-PASS-c23"><a class="internalDFN" href="#unification-attribution-s1-PASS-c23">unification-attribution-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -901,7 +901,7 @@
<tr>
<td id="unification-attribution-s2-PASS-c23"><a class="internalDFN" href="#unification-attribution-s2-PASS-c23">unification-attribution-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -913,7 +913,7 @@
<tr>
<td id="unification-attribution-s3-PASS-c23"><a class="internalDFN" href="#unification-attribution-s3-PASS-c23">unification-attribution-s3-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -925,7 +925,7 @@
<tr>
<td id="unification-attribution-s4-PASS-c23"><a class="internalDFN" href="#unification-attribution-s4-PASS-c23">unification-attribution-s4-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -937,8 +937,8 @@
<tr>
<td id="unification-bundle-f1-FAIL-c55-c56"><a class="internalDFN" href="#unification-bundle-f1-FAIL-c55-c56">unification-bundle-f1-FAIL-c55-c56</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint"><span>Constraint 55 (entity-activity-disjoint)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection"><span>Constraint 56 (membership-empty-collection)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection">Constraint 56 (membership-empty-collection)</a>
</td>
<td>FAIL</td>
<td>
@@ -974,7 +974,7 @@
<tr>
<td id="unification-communication-s1-PASS-c23"><a class="internalDFN" href="#unification-communication-s1-PASS-c23">unification-communication-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -986,7 +986,7 @@
<tr>
<td id="unification-communication-s2-PASS-c23"><a class="internalDFN" href="#unification-communication-s2-PASS-c23">unification-communication-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -998,7 +998,7 @@
<tr>
<td id="unification-communication-s3-PASS-c23"><a class="internalDFN" href="#unification-communication-s3-PASS-c23">unification-communication-s3-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1010,7 +1010,7 @@
<tr>
<td id="unification-communication-s4-PASS-c23"><a class="internalDFN" href="#unification-communication-s4-PASS-c23">unification-communication-s4-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1022,7 +1022,7 @@
<tr>
<td id="unification-delegation-f1-FAIL-c23"><a class="internalDFN" href="#unification-delegation-f1-FAIL-c23">unification-delegation-f1-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1034,7 +1034,7 @@
<tr>
<td id="unification-delegation-f2-FAIL-c23"><a class="internalDFN" href="#unification-delegation-f2-FAIL-c23">unification-delegation-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1046,7 +1046,7 @@
<tr>
<td id="unification-delegation-f3-FAIL-c23"><a class="internalDFN" href="#unification-delegation-f3-FAIL-c23">unification-delegation-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1070,7 +1070,7 @@
<tr>
<td id="unification-delegation-s1-PASS-c23"><a class="internalDFN" href="#unification-delegation-s1-PASS-c23">unification-delegation-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1082,7 +1082,7 @@
<tr>
<td id="unification-delegation-s2-PASS-c23"><a class="internalDFN" href="#unification-delegation-s2-PASS-c23">unification-delegation-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1094,7 +1094,7 @@
<tr>
<td id="unification-delegation-s3-PASS-c23"><a class="internalDFN" href="#unification-delegation-s3-PASS-c23">unification-delegation-s3-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1106,7 +1106,7 @@
<tr>
<td id="unification-delegation-s4-PASS-c23"><a class="internalDFN" href="#unification-delegation-s4-PASS-c23">unification-delegation-s4-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1118,7 +1118,7 @@
<tr>
<td id="unification-delegation-s5-PASS-c23"><a class="internalDFN" href="#unification-delegation-s5-PASS-c23">unification-delegation-s5-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1130,7 +1130,7 @@
<tr>
<td id="unification-derivation-f1-FAIL-c23"><a class="internalDFN" href="#unification-derivation-f1-FAIL-c23">unification-derivation-f1-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1142,7 +1142,7 @@
<tr>
<td id="unification-derivation-f2-FAIL-c23"><a class="internalDFN" href="#unification-derivation-f2-FAIL-c23">unification-derivation-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1154,7 +1154,7 @@
<tr>
<td id="unification-derivation-f3-FAIL-c23"><a class="internalDFN" href="#unification-derivation-f3-FAIL-c23">unification-derivation-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1166,7 +1166,7 @@
<tr>
<td id="unification-derivation-f4-FAIL-c23"><a class="internalDFN" href="#unification-derivation-f4-FAIL-c23">unification-derivation-f4-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1178,7 +1178,7 @@
<tr>
<td id="unification-derivation-s1-PASS-c23"><a class="internalDFN" href="#unification-derivation-s1-PASS-c23">unification-derivation-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1190,7 +1190,7 @@
<tr>
<td id="unification-derivation-s2-PASS-c23"><a class="internalDFN" href="#unification-derivation-s2-PASS-c23">unification-derivation-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1202,7 +1202,7 @@
<tr>
<td id="unification-derivation-s3-PASS-c23"><a class="internalDFN" href="#unification-derivation-s3-PASS-c23">unification-derivation-s3-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1214,7 +1214,7 @@
<tr>
<td id="unification-derivation-s4-PASS-c23"><a class="internalDFN" href="#unification-derivation-s4-PASS-c23">unification-derivation-s4-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1226,7 +1226,7 @@
<tr>
<td id="unification-derivation-s5-PASS-c23"><a class="internalDFN" href="#unification-derivation-s5-PASS-c23">unification-derivation-s5-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1238,7 +1238,7 @@
<tr>
<td id="unification-end-f1-FAIL-c23"><a class="internalDFN" href="#unification-end-f1-FAIL-c23">unification-end-f1-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1250,7 +1250,7 @@
<tr>
<td id="unification-end-f2-FAIL-c23"><a class="internalDFN" href="#unification-end-f2-FAIL-c23">unification-end-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1262,7 +1262,7 @@
<tr>
<td id="unification-end-f3-FAIL-c23"><a class="internalDFN" href="#unification-end-f3-FAIL-c23">unification-end-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1274,7 +1274,7 @@
<tr>
<td id="unification-end-f4-FAIL-c27"><a class="internalDFN" href="#unification-end-f4-FAIL-c27">unification-end-f4-FAIL-c27</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a>
</td>
<td>FAIL</td>
<td>
@@ -1286,7 +1286,7 @@
<tr>
<td id="unification-end-f5-FAIL-c23"><a class="internalDFN" href="#unification-end-f5-FAIL-c23">unification-end-f5-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1298,7 +1298,7 @@
<tr>
<td id="unification-end-s1-PASS-c27"><a class="internalDFN" href="#unification-end-s1-PASS-c27">unification-end-s1-PASS-c27</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1310,7 +1310,7 @@
<tr>
<td id="unification-end-s2-PASS-c27"><a class="internalDFN" href="#unification-end-s2-PASS-c27">unification-end-s2-PASS-c27</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1322,7 +1322,7 @@
<tr>
<td id="unification-end-s3-PASS-c27"><a class="internalDFN" href="#unification-end-s3-PASS-c27">unification-end-s3-PASS-c27</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1334,7 +1334,7 @@
<tr>
<td id="unification-end-s4-PASS-c27"><a class="internalDFN" href="#unification-end-s4-PASS-c27">unification-end-s4-PASS-c27</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1346,8 +1346,8 @@
<tr>
<td id="unification-end-s5-PASS-c23-c27"><a class="internalDFN" href="#unification-end-s5-PASS-c23-c27">unification-end-s5-PASS-c23-c27</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1359,8 +1359,8 @@
<tr>
<td id="unification-end-s6-PASS-c23-c27"><a class="internalDFN" href="#unification-end-s6-PASS-c23-c27">unification-end-s6-PASS-c23-c27</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1372,7 +1372,7 @@
<tr>
<td id="unification-generation-f1-FAIL-c24"><a class="internalDFN" href="#unification-generation-f1-FAIL-c24">unification-generation-f1-FAIL-c24</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation">Constraint 24 (unique-generation)</a>
</td>
<td>FAIL</td>
<td>
@@ -1384,7 +1384,7 @@
<tr>
<td id="unification-generation-f2-FAIL-c23"><a class="internalDFN" href="#unification-generation-f2-FAIL-c23">unification-generation-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1396,7 +1396,7 @@
<tr>
<td id="unification-generation-f3-FAIL-c23"><a class="internalDFN" href="#unification-generation-f3-FAIL-c23">unification-generation-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1408,7 +1408,7 @@
<tr>
<td id="unification-generation-f4-FAIL-c23"><a class="internalDFN" href="#unification-generation-f4-FAIL-c23">unification-generation-f4-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1420,7 +1420,7 @@
<tr>
<td id="unification-generation-f5-FAIL-c23"><a class="internalDFN" href="#unification-generation-f5-FAIL-c23">unification-generation-f5-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1432,7 +1432,7 @@
<tr>
<td id="unification-generation-f6-FAIL-c23"><a class="internalDFN" href="#unification-generation-f6-FAIL-c23">unification-generation-f6-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1444,7 +1444,7 @@
<tr>
<td id="unification-generation-f7-FAIL-c23"><a class="internalDFN" href="#unification-generation-f7-FAIL-c23">unification-generation-f7-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1456,7 +1456,7 @@
<tr>
<td id="unification-generation-s1-PASS-c23"><a class="internalDFN" href="#unification-generation-s1-PASS-c23">unification-generation-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1468,7 +1468,7 @@
<tr>
<td id="unification-generation-s2-PASS-c23"><a class="internalDFN" href="#unification-generation-s2-PASS-c23">unification-generation-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1480,7 +1480,7 @@
<tr>
<td id="unification-generation-s3-PASS-c24"><a class="internalDFN" href="#unification-generation-s3-PASS-c24">unification-generation-s3-PASS-c24</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation">Constraint 24 (unique-generation)</a>
</td>
<td>PASS</td>
<td>
@@ -1492,7 +1492,7 @@
<tr>
<td id="unification-generation-s5-PASS-c23"><a class="internalDFN" href="#unification-generation-s5-PASS-c23">unification-generation-s5-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1504,7 +1504,7 @@
<tr>
<td id="unification-generation-s6-PASS-c23"><a class="internalDFN" href="#unification-generation-s6-PASS-c23">unification-generation-s6-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1516,8 +1516,8 @@
<tr>
<td id="unification-generation-s7-PASS-c23-c24"><a class="internalDFN" href="#unification-generation-s7-PASS-c23-c24">unification-generation-s7-PASS-c23-c24</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation">Constraint 24 (unique-generation)</a>
</td>
<td>PASS</td>
<td>
@@ -1529,8 +1529,8 @@
<tr>
<td id="unification-generation-s8-PASS-c23-c24"><a class="internalDFN" href="#unification-generation-s8-PASS-c23-c24">unification-generation-s8-PASS-c23-c24</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation">Constraint 24 (unique-generation)</a>
</td>
<td>PASS</td>
<td>
@@ -1566,7 +1566,7 @@
<tr>
<td id="unification-influence-s1-PASS-c23"><a class="internalDFN" href="#unification-influence-s1-PASS-c23">unification-influence-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1578,7 +1578,7 @@
<tr>
<td id="unification-invalidation-f1-FAIL-c25"><a class="internalDFN" href="#unification-invalidation-f1-FAIL-c25">unification-invalidation-f1-FAIL-c25</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a>
</td>
<td>FAIL</td>
<td>
@@ -1590,7 +1590,7 @@
<tr>
<td id="unification-invalidation-f2-FAIL-c23"><a class="internalDFN" href="#unification-invalidation-f2-FAIL-c23">unification-invalidation-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1602,7 +1602,7 @@
<tr>
<td id="unification-invalidation-f3-FAIL-c23"><a class="internalDFN" href="#unification-invalidation-f3-FAIL-c23">unification-invalidation-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1614,7 +1614,7 @@
<tr>
<td id="unification-invalidation-f4-FAIL-c23"><a class="internalDFN" href="#unification-invalidation-f4-FAIL-c23">unification-invalidation-f4-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1626,8 +1626,8 @@
<tr>
<td id="unification-invalidation-f5-FAIL-c23-c25"><a class="internalDFN" href="#unification-invalidation-f5-FAIL-c23-c25">unification-invalidation-f5-FAIL-c23-c25</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a>
</td>
<td>FAIL</td>
<td>
@@ -1639,8 +1639,8 @@
<tr>
<td id="unification-invalidation-f6-FAIL-c23-c25"><a class="internalDFN" href="#unification-invalidation-f6-FAIL-c23-c25">unification-invalidation-f6-FAIL-c23-c25</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a>
</td>
<td>FAIL</td>
<td>
@@ -1652,8 +1652,8 @@
<tr>
<td id="unification-invalidation-f7-FAIL-c23-c25"><a class="internalDFN" href="#unification-invalidation-f7-FAIL-c23-c25">unification-invalidation-f7-FAIL-c23-c25</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a>
</td>
<td>FAIL</td>
<td>
@@ -1665,7 +1665,7 @@
<tr>
<td id="unification-invalidation-s1-PASS-c23"><a class="internalDFN" href="#unification-invalidation-s1-PASS-c23">unification-invalidation-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1677,7 +1677,7 @@
<tr>
<td id="unification-invalidation-s2-PASS-c23"><a class="internalDFN" href="#unification-invalidation-s2-PASS-c23">unification-invalidation-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1689,7 +1689,7 @@
<tr>
<td id="unification-invalidation-s3-PASS-c25"><a class="internalDFN" href="#unification-invalidation-s3-PASS-c25">unification-invalidation-s3-PASS-c25</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a>
</td>
<td>PASS</td>
<td>
@@ -1701,7 +1701,7 @@
<tr>
<td id="unification-invalidation-s5-PASS-c23"><a class="internalDFN" href="#unification-invalidation-s5-PASS-c23">unification-invalidation-s5-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1713,7 +1713,7 @@
<tr>
<td id="unification-invalidation-s6-PASS-c23"><a class="internalDFN" href="#unification-invalidation-s6-PASS-c23">unification-invalidation-s6-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -1725,8 +1725,8 @@
<tr>
<td id="unification-invalidation-s7-PASS-c23-c25"><a class="internalDFN" href="#unification-invalidation-s7-PASS-c23-c25">unification-invalidation-s7-PASS-c23-c25</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a>
</td>
<td>PASS</td>
<td>
@@ -1738,8 +1738,8 @@
<tr>
<td id="unification-invalidation-s8-PASS-c23-c25"><a class="internalDFN" href="#unification-invalidation-s8-PASS-c23-c25">unification-invalidation-s8-PASS-c23-c25</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a>
</td>
<td>PASS</td>
<td>
@@ -1787,7 +1787,7 @@
<tr>
<td id="unification-specialization-f3-FAIL-c52"><a class="internalDFN" href="#unification-specialization-f3-FAIL-c52">unification-specialization-f3-FAIL-c52</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-specialization-reflexive"><span>Constraint 52 (impossible-specialization-reflexive)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-specialization-reflexive">Constraint 52 (impossible-specialization-reflexive)</a>
</td>
<td>FAIL</td>
<td>
@@ -1799,7 +1799,7 @@
<tr>
<td id="unification-specialization-f4-FAIL-c52"><a class="internalDFN" href="#unification-specialization-f4-FAIL-c52">unification-specialization-f4-FAIL-c52</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-specialization-reflexive"><span>Constraint 52 (impossible-specialization-reflexive)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-specialization-reflexive">Constraint 52 (impossible-specialization-reflexive)</a>
</td>
<td>FAIL</td>
<td>
@@ -1811,7 +1811,7 @@
<tr>
<td id="unification-start-f1-FAIL-c23"><a class="internalDFN" href="#unification-start-f1-FAIL-c23">unification-start-f1-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1823,7 +1823,7 @@
<tr>
<td id="unification-start-f2-FAIL-c23"><a class="internalDFN" href="#unification-start-f2-FAIL-c23">unification-start-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1835,7 +1835,7 @@
<tr>
<td id="unification-start-f3-FAIL-c23"><a class="internalDFN" href="#unification-start-f3-FAIL-c23">unification-start-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1847,7 +1847,7 @@
<tr>
<td id="unification-start-f4-FAIL-c26"><a class="internalDFN" href="#unification-start-f4-FAIL-c26">unification-start-f4-FAIL-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>FAIL</td>
<td>
@@ -1859,7 +1859,7 @@
<tr>
<td id="unification-start-f5-FAIL-c23"><a class="internalDFN" href="#unification-start-f5-FAIL-c23">unification-start-f5-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1871,7 +1871,7 @@
<tr>
<td id="unification-start-f6-FAIL-c23"><a class="internalDFN" href="#unification-start-f6-FAIL-c23">unification-start-f6-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1883,7 +1883,7 @@
<tr>
<td id="unification-start-f7-FAIL-c23"><a class="internalDFN" href="#unification-start-f7-FAIL-c23">unification-start-f7-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1895,7 +1895,7 @@
<tr>
<td id="unification-start-f8-FAIL-c23"><a class="internalDFN" href="#unification-start-f8-FAIL-c23">unification-start-f8-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -1907,7 +1907,7 @@
<tr>
<td id="unification-start-s1-PASS-c26"><a class="internalDFN" href="#unification-start-s1-PASS-c26">unification-start-s1-PASS-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1919,7 +1919,7 @@
<tr>
<td id="unification-start-s2-PASS-c26"><a class="internalDFN" href="#unification-start-s2-PASS-c26">unification-start-s2-PASS-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1931,7 +1931,7 @@
<tr>
<td id="unification-start-s3-PASS-c26"><a class="internalDFN" href="#unification-start-s3-PASS-c26">unification-start-s3-PASS-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1943,7 +1943,7 @@
<tr>
<td id="unification-start-s4-PASS-c26"><a class="internalDFN" href="#unification-start-s4-PASS-c26">unification-start-s4-PASS-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1955,8 +1955,8 @@
<tr>
<td id="unification-start-s5-PASS-c23-c26"><a class="internalDFN" href="#unification-start-s5-PASS-c23-c26">unification-start-s5-PASS-c23-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1968,8 +1968,8 @@
<tr>
<td id="unification-start-s6-PASS-c23-c26"><a class="internalDFN" href="#unification-start-s6-PASS-c23-c26">unification-start-s6-PASS-c23-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1981,8 +1981,8 @@
<tr>
<td id="unification-start-s7-PASS-c23-c26"><a class="internalDFN" href="#unification-start-s7-PASS-c23-c26">unification-start-s7-PASS-c23-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -1994,8 +1994,8 @@
<tr>
<td id="unification-start-s8-PASS-c23-c26"><a class="internalDFN" href="#unification-start-s8-PASS-c23-c26">unification-start-s8-PASS-c23-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -2007,8 +2007,8 @@
<tr>
<td id="unification-start-s9-PASS-c23-c26"><a class="internalDFN" href="#unification-start-s9-PASS-c23-c26">unification-start-s9-PASS-c23-c26</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a><br>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a><br>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a>
</td>
<td>PASS</td>
<td>
@@ -2020,7 +2020,7 @@
<tr>
<td id="unification-usage-f2-FAIL-c23"><a class="internalDFN" href="#unification-usage-f2-FAIL-c23">unification-usage-f2-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -2032,7 +2032,7 @@
<tr>
<td id="unification-usage-f3-FAIL-c23"><a class="internalDFN" href="#unification-usage-f3-FAIL-c23">unification-usage-f3-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -2044,7 +2044,7 @@
<tr>
<td id="unification-usage-f4-FAIL-c23"><a class="internalDFN" href="#unification-usage-f4-FAIL-c23">unification-usage-f4-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -2056,7 +2056,7 @@
<tr>
<td id="unification-usage-f5-FAIL-c23"><a class="internalDFN" href="#unification-usage-f5-FAIL-c23">unification-usage-f5-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -2068,7 +2068,7 @@
<tr>
<td id="unification-usage-f6-FAIL-c23"><a class="internalDFN" href="#unification-usage-f6-FAIL-c23">unification-usage-f6-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -2080,7 +2080,7 @@
<tr>
<td id="unification-usage-f7-FAIL-c23"><a class="internalDFN" href="#unification-usage-f7-FAIL-c23">unification-usage-f7-FAIL-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>FAIL</td>
<td>
@@ -2092,7 +2092,7 @@
<tr>
<td id="unification-usage-s1-PASS-c23"><a class="internalDFN" href="#unification-usage-s1-PASS-c23">unification-usage-s1-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -2104,7 +2104,7 @@
<tr>
<td id="unification-usage-s2-PASS-c23"><a class="internalDFN" href="#unification-usage-s2-PASS-c23">unification-usage-s2-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -2116,7 +2116,7 @@
<tr>
<td id="unification-usage-s5-PASS-c23"><a class="internalDFN" href="#unification-usage-s5-PASS-c23">unification-usage-s5-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -2128,7 +2128,7 @@
<tr>
<td id="unification-usage-s6-PASS-c23"><a class="internalDFN" href="#unification-usage-s6-PASS-c23">unification-usage-s6-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -2140,7 +2140,7 @@
<tr>
<td id="unification-usage-s7-PASS-c23"><a class="internalDFN" href="#unification-usage-s7-PASS-c23">unification-usage-s7-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -2152,7 +2152,7 @@
<tr>
<td id="unification-usage-s8-PASS-c23"><a class="internalDFN" href="#unification-usage-s8-PASS-c23">unification-usage-s8-PASS-c23</a></td>
<td>
- <a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a>
+ <a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a>
</td>
<td>PASS</td>
<td>
@@ -2182,11 +2182,11 @@
<h3>PROV-DM Test Cases</h3>
-<table border="1" cellspacing="0" cellpadding="5" id="table-provdm-testcases">
+<table class="simple" id="table-provdm-testcases">
<caption>Table 3. Test cases from [[PROV-DM]] examples</caption>
<tr>
- <td><b>Identifier</b></td>
- <td><b>Download links</b></td>
+ <th>Identifier</th>
+ <th>Download links</th>
</tr>
<tr>
<td id="prov-dm-ex16_provenance_notation-PASS"><a class="internalDFN" href="#prov-dm-ex16_provenance_notation-PASS">prov-dm-ex16_provenance_notation-PASS</a></td>
@@ -2548,11 +2548,11 @@
<h3>PROV-O Test Cases</h3>
-<table border="1" cellspacing="0" cellpadding="5" id="table-provo-testcases">
+<table class="simple" id="table-provo-testcases">
<caption>Table 4. Test cases from [[PROV-O]] examples</caption>
<tr>
- <td><b>Identifier</b></td>
- <td><b>Download links</b></td>
+ <th>Identifier</th>
+ <th>Download links</th>
</tr>
<tr>
<td id="prov-o-class-Activity-PASS"><a class="internalDFN" href="#prov-o-class-Activity-PASS">prov-o-class-Activity-PASS</a></td>
@@ -3212,7 +3212,7 @@
<h2>Constraint Coverage</h2>
-<table border=1 cellpadding=5 cellspacing=0>
+<table class="simple" id="table-coverage">
<caption>Table 5. Constraint coverage by unit test cases</caption>
<tr>
<th>Identifier</th>
@@ -3220,241 +3220,241 @@
<th>Fail Test Cases</th>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object"><span>Constraint 22 (key-object)</a></td>
- <td>
- <a href="#unification-activity-s1-PASS-c22">unification-activity-s1-PASS-c22</a><br>
- <a href="#unification-activity-s2-PASS-c22">unification-activity-s2-PASS-c22</a><br>
- <a href="#unification-activity-s3-PASS-c22">unification-activity-s3-PASS-c22</a><br>
- <a href="#unification-activity-s4-PASS-c22">unification-activity-s4-PASS-c22</a><br>
- <a href="#unification-attributes-activity-s1-PASS-c22">unification-attributes-activity-s1-PASS-c22</a><br>
- <a href="#unification-attributes-entity-s1-PASS-c22">unification-attributes-entity-s1-PASS-c22</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-object">Constraint 22 (key-object)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-activity-s1-PASS-c22">unification-activity-s1-PASS-c22</a><br>
+ <a class="internalDFN" href="#unification-activity-s2-PASS-c22">unification-activity-s2-PASS-c22</a><br>
+ <a class="internalDFN" href="#unification-activity-s3-PASS-c22">unification-activity-s3-PASS-c22</a><br>
+ <a class="internalDFN" href="#unification-activity-s4-PASS-c22">unification-activity-s4-PASS-c22</a><br>
+ <a class="internalDFN" href="#unification-attributes-activity-s1-PASS-c22">unification-attributes-activity-s1-PASS-c22</a><br>
+ <a class="internalDFN" href="#unification-attributes-entity-s1-PASS-c22">unification-attributes-entity-s1-PASS-c22</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties"><span>Constraint 23 (key-properties)</a></td>
- <td>
- <a href="#unification-association-s1-PASS-c23">unification-association-s1-PASS-c23</a><br>
- <a href="#unification-association-s2-PASS-c23">unification-association-s2-PASS-c23</a><br>
- <a href="#unification-association-s3-PASS-c23">unification-association-s3-PASS-c23</a><br>
- <a href="#unification-association-s4-PASS-c23">unification-association-s4-PASS-c23</a><br>
- <a href="#unification-association-s5-PASS-c23">unification-association-s5-PASS-c23</a><br>
- <a href="#unification-attributes-end-s1-PASS-c23">unification-attributes-end-s1-PASS-c23</a><br>
- <a href="#unification-attributes-end-s2-PASS-c23">unification-attributes-end-s2-PASS-c23</a><br>
- <a href="#unification-attributes-start-s1-PASS-c23">unification-attributes-start-s1-PASS-c23</a><br>
- <a href="#unification-attributes-start-s2-PASS-c23">unification-attributes-start-s2-PASS-c23</a><br>
- <a href="#unification-attribution-s1-PASS-c23">unification-attribution-s1-PASS-c23</a><br>
- <a href="#unification-attribution-s2-PASS-c23">unification-attribution-s2-PASS-c23</a><br>
- <a href="#unification-attribution-s3-PASS-c23">unification-attribution-s3-PASS-c23</a><br>
- <a href="#unification-attribution-s4-PASS-c23">unification-attribution-s4-PASS-c23</a><br>
- <a href="#unification-communication-s1-PASS-c23">unification-communication-s1-PASS-c23</a><br>
- <a href="#unification-communication-s2-PASS-c23">unification-communication-s2-PASS-c23</a><br>
- <a href="#unification-communication-s3-PASS-c23">unification-communication-s3-PASS-c23</a><br>
- <a href="#unification-communication-s4-PASS-c23">unification-communication-s4-PASS-c23</a><br>
- <a href="#unification-delegation-s1-PASS-c23">unification-delegation-s1-PASS-c23</a><br>
- <a href="#unification-delegation-s2-PASS-c23">unification-delegation-s2-PASS-c23</a><br>
- <a href="#unification-delegation-s3-PASS-c23">unification-delegation-s3-PASS-c23</a><br>
- <a href="#unification-delegation-s4-PASS-c23">unification-delegation-s4-PASS-c23</a><br>
- <a href="#unification-delegation-s5-PASS-c23">unification-delegation-s5-PASS-c23</a><br>
- <a href="#unification-derivation-s1-PASS-c23">unification-derivation-s1-PASS-c23</a><br>
- <a href="#unification-derivation-s2-PASS-c23">unification-derivation-s2-PASS-c23</a><br>
- <a href="#unification-derivation-s3-PASS-c23">unification-derivation-s3-PASS-c23</a><br>
- <a href="#unification-derivation-s4-PASS-c23">unification-derivation-s4-PASS-c23</a><br>
- <a href="#unification-derivation-s5-PASS-c23">unification-derivation-s5-PASS-c23</a><br>
- <a href="#unification-end-s5-PASS-c23-c27">unification-end-s5-PASS-c23-c27</a><br>
- <a href="#unification-end-s6-PASS-c23-c27">unification-end-s6-PASS-c23-c27</a><br>
- <a href="#unification-generation-s1-PASS-c23">unification-generation-s1-PASS-c23</a><br>
- <a href="#unification-generation-s2-PASS-c23">unification-generation-s2-PASS-c23</a><br>
- <a href="#unification-generation-s5-PASS-c23">unification-generation-s5-PASS-c23</a><br>
- <a href="#unification-generation-s6-PASS-c23">unification-generation-s6-PASS-c23</a><br>
- <a href="#unification-generation-s7-PASS-c23-c24">unification-generation-s7-PASS-c23-c24</a><br>
- <a href="#unification-generation-s8-PASS-c23-c24">unification-generation-s8-PASS-c23-c24</a><br>
- <a href="#unification-influence-s1-PASS-c23">unification-influence-s1-PASS-c23</a><br>
- <a href="#unification-invalidation-s1-PASS-c23">unification-invalidation-s1-PASS-c23</a><br>
- <a href="#unification-invalidation-s2-PASS-c23">unification-invalidation-s2-PASS-c23</a><br>
- <a href="#unification-invalidation-s5-PASS-c23">unification-invalidation-s5-PASS-c23</a><br>
- <a href="#unification-invalidation-s6-PASS-c23">unification-invalidation-s6-PASS-c23</a><br>
- <a href="#unification-invalidation-s7-PASS-c23-c25">unification-invalidation-s7-PASS-c23-c25</a><br>
- <a href="#unification-invalidation-s8-PASS-c23-c25">unification-invalidation-s8-PASS-c23-c25</a><br>
- <a href="#unification-start-s5-PASS-c23-c26">unification-start-s5-PASS-c23-c26</a><br>
- <a href="#unification-start-s6-PASS-c23-c26">unification-start-s6-PASS-c23-c26</a><br>
- <a href="#unification-start-s7-PASS-c23-c26">unification-start-s7-PASS-c23-c26</a><br>
- <a href="#unification-start-s8-PASS-c23-c26">unification-start-s8-PASS-c23-c26</a><br>
- <a href="#unification-start-s9-PASS-c23-c26">unification-start-s9-PASS-c23-c26</a><br>
- <a href="#unification-usage-s1-PASS-c23">unification-usage-s1-PASS-c23</a><br>
- <a href="#unification-usage-s2-PASS-c23">unification-usage-s2-PASS-c23</a><br>
- <a href="#unification-usage-s5-PASS-c23">unification-usage-s5-PASS-c23</a><br>
- <a href="#unification-usage-s6-PASS-c23">unification-usage-s6-PASS-c23</a><br>
- <a href="#unification-usage-s7-PASS-c23">unification-usage-s7-PASS-c23</a><br>
- <a href="#unification-usage-s8-PASS-c23">unification-usage-s8-PASS-c23</a>
- </td>
- <td>
- <a href="#unification-association-f1-FAIL-c23">unification-association-f1-FAIL-c23</a><br>
- <a href="#unification-association-f2-FAIL-c23">unification-association-f2-FAIL-c23</a><br>
- <a href="#unification-association-f3-FAIL-c23">unification-association-f3-FAIL-c23</a><br>
- <a href="#unification-association-f4-FAIL-c23">unification-association-f4-FAIL-c23</a><br>
- <a href="#unification-association-f5-FAIL-c23">unification-association-f5-FAIL-c23</a><br>
- <a href="#unification-delegation-f1-FAIL-c23">unification-delegation-f1-FAIL-c23</a><br>
- <a href="#unification-delegation-f2-FAIL-c23">unification-delegation-f2-FAIL-c23</a><br>
- <a href="#unification-delegation-f3-FAIL-c23">unification-delegation-f3-FAIL-c23</a><br>
- <a href="#unification-derivation-f1-FAIL-c23">unification-derivation-f1-FAIL-c23</a><br>
- <a href="#unification-derivation-f2-FAIL-c23">unification-derivation-f2-FAIL-c23</a><br>
- <a href="#unification-derivation-f3-FAIL-c23">unification-derivation-f3-FAIL-c23</a><br>
- <a href="#unification-derivation-f4-FAIL-c23">unification-derivation-f4-FAIL-c23</a><br>
- <a href="#unification-end-f1-FAIL-c23">unification-end-f1-FAIL-c23</a><br>
- <a href="#unification-end-f2-FAIL-c23">unification-end-f2-FAIL-c23</a><br>
- <a href="#unification-end-f3-FAIL-c23">unification-end-f3-FAIL-c23</a><br>
- <a href="#unification-end-f5-FAIL-c23">unification-end-f5-FAIL-c23</a><br>
- <a href="#unification-generation-f2-FAIL-c23">unification-generation-f2-FAIL-c23</a><br>
- <a href="#unification-generation-f3-FAIL-c23">unification-generation-f3-FAIL-c23</a><br>
- <a href="#unification-generation-f4-FAIL-c23">unification-generation-f4-FAIL-c23</a><br>
- <a href="#unification-generation-f5-FAIL-c23">unification-generation-f5-FAIL-c23</a><br>
- <a href="#unification-generation-f6-FAIL-c23">unification-generation-f6-FAIL-c23</a><br>
- <a href="#unification-generation-f7-FAIL-c23">unification-generation-f7-FAIL-c23</a><br>
- <a href="#unification-invalidation-f2-FAIL-c23">unification-invalidation-f2-FAIL-c23</a><br>
- <a href="#unification-invalidation-f3-FAIL-c23">unification-invalidation-f3-FAIL-c23</a><br>
- <a href="#unification-invalidation-f4-FAIL-c23">unification-invalidation-f4-FAIL-c23</a><br>
- <a href="#unification-invalidation-f5-FAIL-c23-c25">unification-invalidation-f5-FAIL-c23-c25</a><br>
- <a href="#unification-invalidation-f6-FAIL-c23-c25">unification-invalidation-f6-FAIL-c23-c25</a><br>
- <a href="#unification-invalidation-f7-FAIL-c23-c25">unification-invalidation-f7-FAIL-c23-c25</a><br>
- <a href="#unification-start-f1-FAIL-c23">unification-start-f1-FAIL-c23</a><br>
- <a href="#unification-start-f2-FAIL-c23">unification-start-f2-FAIL-c23</a><br>
- <a href="#unification-start-f3-FAIL-c23">unification-start-f3-FAIL-c23</a><br>
- <a href="#unification-start-f5-FAIL-c23">unification-start-f5-FAIL-c23</a><br>
- <a href="#unification-start-f6-FAIL-c23">unification-start-f6-FAIL-c23</a><br>
- <a href="#unification-start-f7-FAIL-c23">unification-start-f7-FAIL-c23</a><br>
- <a href="#unification-start-f8-FAIL-c23">unification-start-f8-FAIL-c23</a><br>
- <a href="#unification-usage-f2-FAIL-c23">unification-usage-f2-FAIL-c23</a><br>
- <a href="#unification-usage-f3-FAIL-c23">unification-usage-f3-FAIL-c23</a><br>
- <a href="#unification-usage-f4-FAIL-c23">unification-usage-f4-FAIL-c23</a><br>
- <a href="#unification-usage-f5-FAIL-c23">unification-usage-f5-FAIL-c23</a><br>
- <a href="#unification-usage-f6-FAIL-c23">unification-usage-f6-FAIL-c23</a><br>
- <a href="#unification-usage-f7-FAIL-c23">unification-usage-f7-FAIL-c23</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#key-properties">Constraint 23 (key-properties)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-association-s1-PASS-c23">unification-association-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-association-s2-PASS-c23">unification-association-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-association-s3-PASS-c23">unification-association-s3-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-association-s4-PASS-c23">unification-association-s4-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-association-s5-PASS-c23">unification-association-s5-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attributes-end-s1-PASS-c23">unification-attributes-end-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attributes-end-s2-PASS-c23">unification-attributes-end-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attributes-start-s1-PASS-c23">unification-attributes-start-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attributes-start-s2-PASS-c23">unification-attributes-start-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attribution-s1-PASS-c23">unification-attribution-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attribution-s2-PASS-c23">unification-attribution-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attribution-s3-PASS-c23">unification-attribution-s3-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-attribution-s4-PASS-c23">unification-attribution-s4-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-communication-s1-PASS-c23">unification-communication-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-communication-s2-PASS-c23">unification-communication-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-communication-s3-PASS-c23">unification-communication-s3-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-communication-s4-PASS-c23">unification-communication-s4-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-s1-PASS-c23">unification-delegation-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-s2-PASS-c23">unification-delegation-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-s3-PASS-c23">unification-delegation-s3-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-s4-PASS-c23">unification-delegation-s4-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-s5-PASS-c23">unification-delegation-s5-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-s1-PASS-c23">unification-derivation-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-s2-PASS-c23">unification-derivation-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-s3-PASS-c23">unification-derivation-s3-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-s4-PASS-c23">unification-derivation-s4-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-s5-PASS-c23">unification-derivation-s5-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-end-s5-PASS-c23-c27">unification-end-s5-PASS-c23-c27</a><br>
+ <a class="internalDFN" href="#unification-end-s6-PASS-c23-c27">unification-end-s6-PASS-c23-c27</a><br>
+ <a class="internalDFN" href="#unification-generation-s1-PASS-c23">unification-generation-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-s2-PASS-c23">unification-generation-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-s5-PASS-c23">unification-generation-s5-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-s6-PASS-c23">unification-generation-s6-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-s7-PASS-c23-c24">unification-generation-s7-PASS-c23-c24</a><br>
+ <a class="internalDFN" href="#unification-generation-s8-PASS-c23-c24">unification-generation-s8-PASS-c23-c24</a><br>
+ <a class="internalDFN" href="#unification-influence-s1-PASS-c23">unification-influence-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s1-PASS-c23">unification-invalidation-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s2-PASS-c23">unification-invalidation-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s5-PASS-c23">unification-invalidation-s5-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s6-PASS-c23">unification-invalidation-s6-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s7-PASS-c23-c25">unification-invalidation-s7-PASS-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s8-PASS-c23-c25">unification-invalidation-s8-PASS-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-start-s5-PASS-c23-c26">unification-start-s5-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s6-PASS-c23-c26">unification-start-s6-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s7-PASS-c23-c26">unification-start-s7-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s8-PASS-c23-c26">unification-start-s8-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s9-PASS-c23-c26">unification-start-s9-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-usage-s1-PASS-c23">unification-usage-s1-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-s2-PASS-c23">unification-usage-s2-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-s5-PASS-c23">unification-usage-s5-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-s6-PASS-c23">unification-usage-s6-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-s7-PASS-c23">unification-usage-s7-PASS-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-s8-PASS-c23">unification-usage-s8-PASS-c23</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#unification-association-f1-FAIL-c23">unification-association-f1-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-association-f2-FAIL-c23">unification-association-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-association-f3-FAIL-c23">unification-association-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-association-f4-FAIL-c23">unification-association-f4-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-association-f5-FAIL-c23">unification-association-f5-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-f1-FAIL-c23">unification-delegation-f1-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-f2-FAIL-c23">unification-delegation-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-delegation-f3-FAIL-c23">unification-delegation-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-f1-FAIL-c23">unification-derivation-f1-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-f2-FAIL-c23">unification-derivation-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-f3-FAIL-c23">unification-derivation-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-derivation-f4-FAIL-c23">unification-derivation-f4-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-end-f1-FAIL-c23">unification-end-f1-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-end-f2-FAIL-c23">unification-end-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-end-f3-FAIL-c23">unification-end-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-end-f5-FAIL-c23">unification-end-f5-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-f2-FAIL-c23">unification-generation-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-f3-FAIL-c23">unification-generation-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-f4-FAIL-c23">unification-generation-f4-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-f5-FAIL-c23">unification-generation-f5-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-f6-FAIL-c23">unification-generation-f6-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-generation-f7-FAIL-c23">unification-generation-f7-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f2-FAIL-c23">unification-invalidation-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f3-FAIL-c23">unification-invalidation-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f4-FAIL-c23">unification-invalidation-f4-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f5-FAIL-c23-c25">unification-invalidation-f5-FAIL-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f6-FAIL-c23-c25">unification-invalidation-f6-FAIL-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f7-FAIL-c23-c25">unification-invalidation-f7-FAIL-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-start-f1-FAIL-c23">unification-start-f1-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-start-f2-FAIL-c23">unification-start-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-start-f3-FAIL-c23">unification-start-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-start-f5-FAIL-c23">unification-start-f5-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-start-f6-FAIL-c23">unification-start-f6-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-start-f7-FAIL-c23">unification-start-f7-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-start-f8-FAIL-c23">unification-start-f8-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-f2-FAIL-c23">unification-usage-f2-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-f3-FAIL-c23">unification-usage-f3-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-f4-FAIL-c23">unification-usage-f4-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-f5-FAIL-c23">unification-usage-f5-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-f6-FAIL-c23">unification-usage-f6-FAIL-c23</a><br>
+ <a class="internalDFN" href="#unification-usage-f7-FAIL-c23">unification-usage-f7-FAIL-c23</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation"><span>Constraint 24 (unique-generation)</a></td>
- <td>
- <a href="#unification-generation-s3-PASS-c24">unification-generation-s3-PASS-c24</a><br>
- <a href="#unification-generation-s7-PASS-c23-c24">unification-generation-s7-PASS-c23-c24</a><br>
- <a href="#unification-generation-s8-PASS-c23-c24">unification-generation-s8-PASS-c23-c24</a>
- </td>
- <td>
- <a href="#unification-generation-f1-FAIL-c24">unification-generation-f1-FAIL-c24</a>
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a></td>
- <td>
- <a href="#unification-invalidation-s3-PASS-c25">unification-invalidation-s3-PASS-c25</a><br>
- <a href="#unification-invalidation-s7-PASS-c23-c25">unification-invalidation-s7-PASS-c23-c25</a><br>
- <a href="#unification-invalidation-s8-PASS-c23-c25">unification-invalidation-s8-PASS-c23-c25</a>
- </td>
- <td>
- <a href="#unification-invalidation-f1-FAIL-c25">unification-invalidation-f1-FAIL-c25</a><br>
- <a href="#unification-invalidation-f5-FAIL-c23-c25">unification-invalidation-f5-FAIL-c23-c25</a><br>
- <a href="#unification-invalidation-f6-FAIL-c23-c25">unification-invalidation-f6-FAIL-c23-c25</a><br>
- <a href="#unification-invalidation-f7-FAIL-c23-c25">unification-invalidation-f7-FAIL-c23-c25</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-generation">Constraint 24 (unique-generation)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-generation-s3-PASS-c24">unification-generation-s3-PASS-c24</a><br>
+ <a class="internalDFN" href="#unification-generation-s7-PASS-c23-c24">unification-generation-s7-PASS-c23-c24</a><br>
+ <a class="internalDFN" href="#unification-generation-s8-PASS-c23-c24">unification-generation-s8-PASS-c23-c24</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#unification-generation-f1-FAIL-c24">unification-generation-f1-FAIL-c24</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a></td>
- <td>
- <a href="#unification-start-s1-PASS-c26">unification-start-s1-PASS-c26</a><br>
- <a href="#unification-start-s2-PASS-c26">unification-start-s2-PASS-c26</a><br>
- <a href="#unification-start-s3-PASS-c26">unification-start-s3-PASS-c26</a><br>
- <a href="#unification-start-s4-PASS-c26">unification-start-s4-PASS-c26</a><br>
- <a href="#unification-start-s5-PASS-c23-c26">unification-start-s5-PASS-c23-c26</a><br>
- <a href="#unification-start-s6-PASS-c23-c26">unification-start-s6-PASS-c23-c26</a><br>
- <a href="#unification-start-s7-PASS-c23-c26">unification-start-s7-PASS-c23-c26</a><br>
- <a href="#unification-start-s8-PASS-c23-c26">unification-start-s8-PASS-c23-c26</a><br>
- <a href="#unification-start-s9-PASS-c23-c26">unification-start-s9-PASS-c23-c26</a>
- </td>
- <td>
- <a href="#unification-start-f4-FAIL-c26">unification-start-f4-FAIL-c26</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-invalidation">Constraint 25 (unique-invalidation)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-invalidation-s3-PASS-c25">unification-invalidation-s3-PASS-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s7-PASS-c23-c25">unification-invalidation-s7-PASS-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-s8-PASS-c23-c25">unification-invalidation-s8-PASS-c23-c25</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#unification-invalidation-f1-FAIL-c25">unification-invalidation-f1-FAIL-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f5-FAIL-c23-c25">unification-invalidation-f5-FAIL-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f6-FAIL-c23-c25">unification-invalidation-f6-FAIL-c23-c25</a><br>
+ <a class="internalDFN" href="#unification-invalidation-f7-FAIL-c23-c25">unification-invalidation-f7-FAIL-c23-c25</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a></td>
- <td>
- <a href="#unification-end-s1-PASS-c27">unification-end-s1-PASS-c27</a><br>
- <a href="#unification-end-s2-PASS-c27">unification-end-s2-PASS-c27</a><br>
- <a href="#unification-end-s3-PASS-c27">unification-end-s3-PASS-c27</a><br>
- <a href="#unification-end-s4-PASS-c27">unification-end-s4-PASS-c27</a><br>
- <a href="#unification-end-s5-PASS-c23-c27">unification-end-s5-PASS-c23-c27</a><br>
- <a href="#unification-end-s6-PASS-c23-c27">unification-end-s6-PASS-c23-c27</a>
- </td>
- <td>
- <a href="#unification-end-f4-FAIL-c27">unification-end-f4-FAIL-c27</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasStartedBy">Constraint 26 (unique-wasStartedBy)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-start-s1-PASS-c26">unification-start-s1-PASS-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s2-PASS-c26">unification-start-s2-PASS-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s3-PASS-c26">unification-start-s3-PASS-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s4-PASS-c26">unification-start-s4-PASS-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s5-PASS-c23-c26">unification-start-s5-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s6-PASS-c23-c26">unification-start-s6-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s7-PASS-c23-c26">unification-start-s7-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s8-PASS-c23-c26">unification-start-s8-PASS-c23-c26</a><br>
+ <a class="internalDFN" href="#unification-start-s9-PASS-c23-c26">unification-start-s9-PASS-c23-c26</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#unification-start-f4-FAIL-c26">unification-start-f4-FAIL-c26</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime"><span>Constraint 28 (unique-startTime)</a></td>
- <td>
- <a href="#unification-activity-start-s1-PASS-c28">unification-activity-start-s1-PASS-c28</a>
- </td>
- <td>
- <a href="#unification-activity-start-f1-FAIL-c28">unification-activity-start-f1-FAIL-c28</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-wasEndedBy">Constraint 27 (unique-wasEndedBy)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-end-s1-PASS-c27">unification-end-s1-PASS-c27</a><br>
+ <a class="internalDFN" href="#unification-end-s2-PASS-c27">unification-end-s2-PASS-c27</a><br>
+ <a class="internalDFN" href="#unification-end-s3-PASS-c27">unification-end-s3-PASS-c27</a><br>
+ <a class="internalDFN" href="#unification-end-s4-PASS-c27">unification-end-s4-PASS-c27</a><br>
+ <a class="internalDFN" href="#unification-end-s5-PASS-c23-c27">unification-end-s5-PASS-c23-c27</a><br>
+ <a class="internalDFN" href="#unification-end-s6-PASS-c23-c27">unification-end-s6-PASS-c23-c27</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#unification-end-f4-FAIL-c27">unification-end-f4-FAIL-c27</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime"><span>Constraint 29 (unique-endTime)</a></td>
- <td>
- <a href="#unification-activity-end-s1-PASS-c29">unification-activity-end-s1-PASS-c29</a>
- </td>
- <td>
- <a href="#unification-activity-end-f1-FAIL-c29">unification-activity-end-f1-FAIL-c29</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-startTime">Constraint 28 (unique-startTime)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-activity-start-s1-PASS-c28">unification-activity-start-s1-PASS-c28</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#unification-activity-start-f1-FAIL-c28">unification-activity-start-f1-FAIL-c28</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-precedes-end"><span>Constraint 30 (start-precedes-end)</a></td>
- <td>
- <a href="#ordering-activity1-PASS-c30">ordering-activity1-PASS-c30</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#unique-endTime">Constraint 29 (unique-endTime)</a></td>
+ <td>
+ <a class="internalDFN" href="#unification-activity-end-s1-PASS-c29">unification-activity-end-s1-PASS-c29</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#unification-activity-end-f1-FAIL-c29">unification-activity-end-f1-FAIL-c29</a>
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-precedes-end">Constraint 30 (start-precedes-end)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-activity1-PASS-c30">ordering-activity1-PASS-c30</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-start-ordering"><span>Constraint 31 (start-start-ordering)</a></td>
- <td>
- <a href="#ordering-activity4-PASS-c31">ordering-activity4-PASS-c31</a>
- </td>
- <td>
-
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#end-end-ordering"><span>Constraint 32 (end-end-ordering)</a></td>
- <td>
- <a href="#ordering-activity5-PASS-c32">ordering-activity5-PASS-c32</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#start-start-ordering">Constraint 31 (start-start-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-activity4-PASS-c31">ordering-activity4-PASS-c31</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-within-activity"><span>Constraint 33 (usage-within-activity)</a></td>
- <td>
- <a href="#ordering-activity2-PASS-c33">ordering-activity2-PASS-c33</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#end-end-ordering">Constraint 32 (end-end-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-activity5-PASS-c32">ordering-activity5-PASS-c32</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-within-activity"><span>Constraint 34 (generation-within-activity)</a></td>
- <td>
- <a href="#ordering-activity3-PASS-c34">ordering-activity3-PASS-c34</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-within-activity">Constraint 33 (usage-within-activity)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-activity2-PASS-c33">ordering-activity2-PASS-c33</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasInformedBy-ordering"><span>Constraint 35 (wasInformedBy-ordering)</a></td>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-within-activity">Constraint 34 (generation-within-activity)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-activity3-PASS-c34">ordering-activity3-PASS-c34</a>
+ </td>
+ <td>
+
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasInformedBy-ordering">Constraint 35 (wasInformedBy-ordering)</a></td>
<td>
</td>
@@ -3463,141 +3463,141 @@
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation"><span>Constraint 36 (generation-precedes-invalidation)</a></td>
- <td>
- <a href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a><br>
- <a href="#ordering-entity2-PASS-c36">ordering-entity2-PASS-c36</a>
- </td>
- <td>
-
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-usage"><span>Constraint 37 (generation-precedes-usage)</a></td>
- <td>
- <a href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a>
- </td>
- <td>
-
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-precedes-invalidation"><span>Constraint 38 (usage-precedes-invalidation)</a></td>
- <td>
- <a href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a>
- </td>
- <td>
-
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-generation-ordering"><span>Constraint 39 (generation-generation-ordering)</a></td>
- <td>
- <a href="#ordering-entity3-PASS-c39">ordering-entity3-PASS-c39</a>
- </td>
- <td>
-
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#invalidation-invalidation-ordering"><span>Constraint 40 (invalidation-invalidation-ordering)</a></td>
- <td>
- <a href="#ordering-entity4-PASS-c40">ordering-entity4-PASS-c40</a>
- </td>
- <td>
-
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-usage-generation-ordering"><span>Constraint 41 (derivation-usage-generation-ordering)</a></td>
- <td>
- <a href="#ordering-derivation3-PASS-c41-c42">ordering-derivation3-PASS-c41-c42</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-invalidation">Constraint 36 (generation-precedes-invalidation)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a><br>
+ <a class="internalDFN" href="#ordering-entity2-PASS-c36">ordering-entity2-PASS-c36</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a></td>
- <td>
- <a href="#ordering-derivation1-PASS-c42">ordering-derivation1-PASS-c42</a><br>
- <a href="#ordering-derivation3-PASS-c41-c42">ordering-derivation3-PASS-c41-c42</a><br>
- <a href="#ordering-specialization3-PASS-c42-c45">ordering-specialization3-PASS-c42-c45</a>
- </td>
- <td>
- <a href="#ordering-derivation2-FAIL-c42">ordering-derivation2-FAIL-c42</a><br>
- <a href="#ordering-specialization4-FAIL-c42-c45">ordering-specialization4-FAIL-c42-c45</a>
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasStartedBy-ordering"><span>Constraint 43 (wasStartedBy-ordering)</a></td>
- <td>
- <a href="#ordering-starts1-PASS-c43">ordering-starts1-PASS-c43</a>
- </td>
- <td>
-
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasEndedBy-ordering"><span>Constraint 44 (wasEndedBy-ordering)</a></td>
- <td>
- <a href="#ordering-ends1-PASS-c44">ordering-ends1-PASS-c44</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-precedes-usage">Constraint 37 (generation-precedes-usage)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering"><span>Constraint 45 (specialization-generation-ordering)</a></td>
- <td>
- <a href="#ordering-specialization1-PASS-c45">ordering-specialization1-PASS-c45</a><br>
- <a href="#ordering-specialization3-PASS-c42-c45">ordering-specialization3-PASS-c42-c45</a>
- </td>
- <td>
- <a href="#ordering-specialization4-FAIL-c42-c45">ordering-specialization4-FAIL-c42-c45</a>
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-invalidation-ordering"><span>Constraint 46 (specialization-invalidation-ordering)</a></td>
- <td>
- <a href="#ordering-specialization2-PASS-c46">ordering-specialization2-PASS-c46</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#usage-precedes-invalidation">Constraint 38 (usage-precedes-invalidation)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-entity1-PASS-c36-c37-c38">ordering-entity1-PASS-c36-c37-c38</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering"><span>Constraint 47 (wasAssociatedWith-ordering)</a></td>
- <td>
- <a href="#ordering-association1-PASS-c47">ordering-association1-PASS-c47</a><br>
- <a href="#ordering-association2-PASS-c47">ordering-association2-PASS-c47</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#generation-generation-ordering">Constraint 39 (generation-generation-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-entity3-PASS-c39">ordering-entity3-PASS-c39</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering"><span>Constraint 48 (wasAttributedTo-ordering)</a></td>
- <td>
- <a href="#ordering-attribution1-PASS-c48">ordering-attribution1-PASS-c48</a><br>
- <a href="#ordering-attribution2-PASS-c48">ordering-attribution2-PASS-c48</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#invalidation-invalidation-ordering">Constraint 40 (invalidation-invalidation-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-entity4-PASS-c40">ordering-entity4-PASS-c40</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering"><span>Constraint 49 (actedOnBehalfOf-ordering)</a></td>
- <td>
- <a href="#ordering-delegation1-PASS-c49">ordering-delegation1-PASS-c49</a><br>
- <a href="#ordering-delegation2-PASS-c49">ordering-delegation2-PASS-c49</a>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-usage-generation-ordering">Constraint 41 (derivation-usage-generation-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-derivation3-PASS-c41-c42">ordering-derivation3-PASS-c41-c42</a>
</td>
<td>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#typing"><span>Constraint 50 (typing)</a></td>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#derivation-generation-generation-ordering">Constraint 42 (derivation-generation-generation-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-derivation1-PASS-c42">ordering-derivation1-PASS-c42</a><br>
+ <a class="internalDFN" href="#ordering-derivation3-PASS-c41-c42">ordering-derivation3-PASS-c41-c42</a><br>
+ <a class="internalDFN" href="#ordering-specialization3-PASS-c42-c45">ordering-specialization3-PASS-c42-c45</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#ordering-derivation2-FAIL-c42">ordering-derivation2-FAIL-c42</a><br>
+ <a class="internalDFN" href="#ordering-specialization4-FAIL-c42-c45">ordering-specialization4-FAIL-c42-c45</a>
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasStartedBy-ordering">Constraint 43 (wasStartedBy-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-starts1-PASS-c43">ordering-starts1-PASS-c43</a>
+ </td>
+ <td>
+
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasEndedBy-ordering">Constraint 44 (wasEndedBy-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-ends1-PASS-c44">ordering-ends1-PASS-c44</a>
+ </td>
+ <td>
+
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-generation-ordering">Constraint 45 (specialization-generation-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-specialization1-PASS-c45">ordering-specialization1-PASS-c45</a><br>
+ <a class="internalDFN" href="#ordering-specialization3-PASS-c42-c45">ordering-specialization3-PASS-c42-c45</a>
+ </td>
+ <td>
+ <a class="internalDFN" href="#ordering-specialization4-FAIL-c42-c45">ordering-specialization4-FAIL-c42-c45</a>
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#specialization-invalidation-ordering">Constraint 46 (specialization-invalidation-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-specialization2-PASS-c46">ordering-specialization2-PASS-c46</a>
+ </td>
+ <td>
+
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAssociatedWith-ordering">Constraint 47 (wasAssociatedWith-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-association1-PASS-c47">ordering-association1-PASS-c47</a><br>
+ <a class="internalDFN" href="#ordering-association2-PASS-c47">ordering-association2-PASS-c47</a>
+ </td>
+ <td>
+
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#wasAttributedTo-ordering">Constraint 48 (wasAttributedTo-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-attribution1-PASS-c48">ordering-attribution1-PASS-c48</a><br>
+ <a class="internalDFN" href="#ordering-attribution2-PASS-c48">ordering-attribution2-PASS-c48</a>
+ </td>
+ <td>
+
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#actedOnBehalfOf-ordering">Constraint 49 (actedOnBehalfOf-ordering)</a></td>
+ <td>
+ <a class="internalDFN" href="#ordering-delegation1-PASS-c49">ordering-delegation1-PASS-c49</a><br>
+ <a class="internalDFN" href="#ordering-delegation2-PASS-c49">ordering-delegation2-PASS-c49</a>
+ </td>
+ <td>
+
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#typing">Constraint 50 (typing)</a></td>
<td>
</td>
@@ -3606,7 +3606,7 @@
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-unspecified-derivation-generation-use"><span>Constraint 51 (impossible-unspecified-derivation-generation-use)</a></td>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-unspecified-derivation-generation-use">Constraint 51 (impossible-unspecified-derivation-generation-use)</a></td>
<td>
</td>
@@ -3615,52 +3615,52 @@
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-specialization-reflexive"><span>Constraint 52 (impossible-specialization-reflexive)</a></td>
- <td>
-
- </td>
- <td>
- <a href="#unification-specialization-f3-FAIL-c52">unification-specialization-f3-FAIL-c52</a><br>
- <a href="#unification-specialization-f4-FAIL-c52">unification-specialization-f4-FAIL-c52</a>
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-property-overlap"><span>Constraint 53 (impossible-property-overlap)</a></td>
- <td>
-
- </td>
- <td>
- <a href="#type-f4-FAIL-c53">type-f4-FAIL-c53</a>
- </td>
- </tr>
- <tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-object-property-overlap"><span>Constraint 54 (impossible-object-property-overlap)</a></td>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-specialization-reflexive">Constraint 52 (impossible-specialization-reflexive)</a></td>
<td>
</td>
<td>
- <a href="#type-f3-FAIL-c54">type-f3-FAIL-c54</a>
+ <a class="internalDFN" href="#unification-specialization-f3-FAIL-c52">unification-specialization-f3-FAIL-c52</a><br>
+ <a class="internalDFN" href="#unification-specialization-f4-FAIL-c52">unification-specialization-f4-FAIL-c52</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint"><span>Constraint 55 (entity-activity-disjoint)</a></td>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-property-overlap">Constraint 53 (impossible-property-overlap)</a></td>
<td>
</td>
<td>
- <a href="#type-f1-FAIL-c55">type-f1-FAIL-c55</a><br>
- <a href="#type-f2-FAIL-c55">type-f2-FAIL-c55</a><br>
- <a href="#unification-bundle-f1-FAIL-c55-c56">unification-bundle-f1-FAIL-c55-c56</a>
+ <a class="internalDFN" href="#type-f4-FAIL-c53">type-f4-FAIL-c53</a>
</td>
</tr>
<tr>
- <td><a href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection"><span>Constraint 56 (membership-empty-collection)</a></td>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#impossible-object-property-overlap">Constraint 54 (impossible-object-property-overlap)</a></td>
<td>
</td>
<td>
- <a href="#type-collection-FAIL-c56">type-collection-FAIL-c56</a><br>
- <a href="#unification-bundle-f1-FAIL-c55-c56">unification-bundle-f1-FAIL-c55-c56</a>
+ <a class="internalDFN" href="#type-f3-FAIL-c54">type-f3-FAIL-c54</a>
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#entity-activity-disjoint">Constraint 55 (entity-activity-disjoint)</a></td>
+ <td>
+
+ </td>
+ <td>
+ <a class="internalDFN" href="#type-f1-FAIL-c55">type-f1-FAIL-c55</a><br>
+ <a class="internalDFN" href="#type-f2-FAIL-c55">type-f2-FAIL-c55</a><br>
+ <a class="internalDFN" href="#unification-bundle-f1-FAIL-c55-c56">unification-bundle-f1-FAIL-c55-c56</a>
+ </td>
+ </tr>
+ <tr>
+ <td><a class="externalDFN" href="http://www.w3.org/TR/2012/CR-prov-constraints-20121211/#membership-empty-collection">Constraint 56 (membership-empty-collection)</a></td>
+ <td>
+
+ </td>
+ <td>
+ <a class="internalDFN" href="#type-collection-FAIL-c56">type-collection-FAIL-c56</a><br>
+ <a class="internalDFN" href="#unification-bundle-f1-FAIL-c55-c56">unification-bundle-f1-FAIL-c55-c56</a>
</td>
</tr>
<tr>
@@ -3669,19 +3669,19 @@
</td>
<td>
- <a href="#unification-association-f6-FAIL-DM">unification-association-f6-FAIL-DM</a><br>
- <a href="#unification-attribution-f1-FAIL-DM">unification-attribution-f1-FAIL-DM</a><br>
- <a href="#unification-attribution-f2-FAIL-DM">unification-attribution-f2-FAIL-DM</a><br>
- <a href="#unification-communication-f1-FAIL-DM">unification-communication-f1-FAIL-DM</a><br>
- <a href="#unification-communication-f2-FAIL-DM">unification-communication-f2-FAIL-DM</a><br>
- <a href="#unification-delegation-f6-FAIL-DM">unification-delegation-f6-FAIL-DM</a><br>
- <a href="#unification-influence-f1-FAIL-DM">unification-influence-f1-FAIL-DM</a><br>
- <a href="#unification-influence-f2-FAIL-DM">unification-influence-f2-FAIL-DM</a><br>
- <a href="#unification-membership-f1-FAIL-DM">unification-membership-f1-FAIL-DM</a><br>
- <a href="#unification-specialization-f1-FAIL-DM">unification-specialization-f1-FAIL-DM</a><br>
- <a href="#unification-specialization-f2-FAIL-DM">unification-specialization-f2-FAIL-DM</a>
- </td>
- </tr>
+ <a class="internalDFN" href="#unification-association-f6-FAIL-DM">unification-association-f6-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-attribution-f1-FAIL-DM">unification-attribution-f1-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-attribution-f2-FAIL-DM">unification-attribution-f2-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-communication-f1-FAIL-DM">unification-communication-f1-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-communication-f2-FAIL-DM">unification-communication-f2-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-delegation-f6-FAIL-DM">unification-delegation-f6-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-influence-f1-FAIL-DM">unification-influence-f1-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-influence-f2-FAIL-DM">unification-influence-f2-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-membership-f1-FAIL-DM">unification-membership-f1-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-specialization-f1-FAIL-DM">unification-specialization-f1-FAIL-DM</a><br>
+ <a class="internalDFN" href="#unification-specialization-f2-FAIL-DM">unification-specialization-f2-FAIL-DM</a>
+ </td>
+ </tr>
</table>
</section>