--- a/testcases/process.html Fri Nov 30 13:03:40 2012 +0100
+++ b/testcases/process.html Fri Nov 30 13:04:11 2012 +0100
@@ -208,1625 +208,1969 @@
<td><b>Download links</b></td>
</tr>
<tr>
- <td><b>ordering-activity1-PASS-c30</b></td>
- <td>30</td>
+ <td id="ordering-activity1-PASS-c30"><b>ordering-activity1-PASS-c30</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#start-precedes-end"><span>Constraint 30 (start-precedes-end)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.ttl" title="ordering-activity1-PASS-c30.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.provx" title="ordering-activity1-PASS-c30.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.provn" title="ordering-activity1-PASS-c30.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-activity2-PASS-c33</b></td>
- <td>33</td>
+ </tr>
+ <tr>
+ <td id="ordering-activity2-PASS-c33"><b>ordering-activity2-PASS-c33</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#usage-within-activity"><span>Constraint 33 (usage-within-activity)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.ttl" title="ordering-activity2-PASS-c33.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.provx" title="ordering-activity2-PASS-c33.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.provn" title="ordering-activity2-PASS-c33.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-activity3-PASS-c34</b></td>
- <td>34</td>
+ </tr>
+ <tr>
+ <td id="ordering-activity3-PASS-c34"><b>ordering-activity3-PASS-c34</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#generation-within-activity"><span>Constraint 34 (generation-within-activity)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.ttl" title="ordering-activity3-PASS-c34.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.provx" title="ordering-activity3-PASS-c34.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.provn" title="ordering-activity3-PASS-c34.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-activity4-PASS-c31</b></td>
- <td>31</td>
+ </tr>
+ <tr>
+ <td id="ordering-activity4-PASS-c31"><b>ordering-activity4-PASS-c31</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#start-start-ordering"><span>Constraint 31 (start-start-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.ttl" title="ordering-activity4-PASS-c31.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.provx" title="ordering-activity4-PASS-c31.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.provn" title="ordering-activity4-PASS-c31.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-activity5-PASS-c32</b></td>
- <td>32</td>
+ </tr>
+ <tr>
+ <td id="ordering-activity5-PASS-c32"><b>ordering-activity5-PASS-c32</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#end-end-ordering"><span>Constraint 32 (end-end-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.ttl" title="ordering-activity5-PASS-c32.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.provx" title="ordering-activity5-PASS-c32.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.provn" title="ordering-activity5-PASS-c32.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-association1-PASS-c47</b></td>
- <td>47</td>
+ </tr>
+ <tr>
+ <td id="ordering-association1-PASS-c47"><b>ordering-association1-PASS-c47</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#wasAssociatedWith-ordering"><span>Constraint 47 (wasAssociatedWith-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.ttl" title="ordering-association1-PASS-c47.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.provx" title="ordering-association1-PASS-c47.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.provn" title="ordering-association1-PASS-c47.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-association2-PASS-c47</b></td>
- <td>47</td>
+ </tr>
+ <tr>
+ <td id="ordering-association2-PASS-c47"><b>ordering-association2-PASS-c47</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#wasAssociatedWith-ordering"><span>Constraint 47 (wasAssociatedWith-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.ttl" title="ordering-association2-PASS-c47.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.provx" title="ordering-association2-PASS-c47.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.provn" title="ordering-association2-PASS-c47.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-attribution1-PASS-c48</b></td>
- <td>48</td>
+ </tr>
+ <tr>
+ <td id="ordering-attribution1-PASS-c48"><b>ordering-attribution1-PASS-c48</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#wasAttributedTo-ordering"><span>Constraint 48 (wasAttributedTo-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.ttl" title="ordering-attribution1-PASS-c48.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.provx" title="ordering-attribution1-PASS-c48.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.provn" title="ordering-attribution1-PASS-c48.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-attribution2-PASS-c48</b></td>
- <td>48</td>
+ </tr>
+ <tr>
+ <td id="ordering-attribution2-PASS-c48"><b>ordering-attribution2-PASS-c48</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#wasAttributedTo-ordering"><span>Constraint 48 (wasAttributedTo-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.ttl" title="ordering-attribution2-PASS-c48.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.provx" title="ordering-attribution2-PASS-c48.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.provn" title="ordering-attribution2-PASS-c48.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-delegation1-PASS-c49</b></td>
- <td>49</td>
+ </tr>
+ <tr>
+ <td id="ordering-delegation1-PASS-c49"><b>ordering-delegation1-PASS-c49</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#actedOnBehalfOf-ordering"><span>Constraint 49 (actedOnBehalfOf-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.ttl" title="ordering-delegation1-PASS-c49.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.provx" title="ordering-delegation1-PASS-c49.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.provn" title="ordering-delegation1-PASS-c49.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-delegation2-PASS-c49</b></td>
- <td>49</td>
+ </tr>
+ <tr>
+ <td id="ordering-delegation2-PASS-c49"><b>ordering-delegation2-PASS-c49</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#actedOnBehalfOf-ordering"><span>Constraint 49 (actedOnBehalfOf-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.ttl" title="ordering-delegation2-PASS-c49.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.provx" title="ordering-delegation2-PASS-c49.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.provn" title="ordering-delegation2-PASS-c49.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-derivation1-PASS-c42</b></td>
- <td>42</td>
+ </tr>
+ <tr>
+ <td id="ordering-derivation1-PASS-c42"><b>ordering-derivation1-PASS-c42</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.ttl" title="ordering-derivation1-PASS-c42.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.provx" title="ordering-derivation1-PASS-c42.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.provn" title="ordering-derivation1-PASS-c42.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-derivation2-FAIL-c42</b></td>
- <td>42</td>
+ </tr>
+ <tr>
+ <td id="ordering-derivation2-FAIL-c42"><b>ordering-derivation2-FAIL-c42</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.ttl" title="ordering-derivation2-FAIL-c42.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provx" title="ordering-derivation2-FAIL-c42.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provn" title="ordering-derivation2-FAIL-c42.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-derivation3-PASS-c41-c42</b></td>
- <td>41;42</td>
+ </tr>
+ <tr>
+ <td id="ordering-derivation3-PASS-c41-c42"><b>ordering-derivation3-PASS-c41-c42</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-usage-generation-ordering"><span>Constraint 41 (derivation-usage-generation-ordering)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.ttl" title="ordering-derivation3-PASS-c41-c42.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.provx" title="ordering-derivation3-PASS-c41-c42.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.provn" title="ordering-derivation3-PASS-c41-c42.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-ends1-PASS-c44</b></td>
- <td>44</td>
+ </tr>
+ <tr>
+ <td id="ordering-ends1-PASS-c44"><b>ordering-ends1-PASS-c44</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#wasEndedBy-ordering"><span>Constraint 44 (wasEndedBy-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.ttl" title="ordering-ends1-PASS-c44.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.provx" title="ordering-ends1-PASS-c44.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.provn" title="ordering-ends1-PASS-c44.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-entity1-PASS-c36-c37-c38</b></td>
- <td>36;37;38</td>
+ </tr>
+ <tr>
+ <td id="ordering-entity1-PASS-c36-c37-c38"><b>ordering-entity1-PASS-c36-c37-c38</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#generation-precedes-invalidation"><span>Constraint 36 (generation-precedes-invalidation)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#generation-precedes-usage"><span>Constraint 37 (generation-precedes-usage)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#usage-precedes-invalidation"><span>Constraint 38 (usage-precedes-invalidation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.ttl" title="ordering-entity1-PASS-c36-c37-c38.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provx" title="ordering-entity1-PASS-c36-c37-c38.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provn" title="ordering-entity1-PASS-c36-c37-c38.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-entity2-PASS-c36</b></td>
- <td>36</td>
+ </tr>
+ <tr>
+ <td id="ordering-entity2-PASS-c36"><b>ordering-entity2-PASS-c36</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#generation-precedes-invalidation"><span>Constraint 36 (generation-precedes-invalidation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.ttl" title="ordering-entity2-PASS-c36.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.provx" title="ordering-entity2-PASS-c36.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.provn" title="ordering-entity2-PASS-c36.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-entity3-PASS-c39</b></td>
- <td>39</td>
+ </tr>
+ <tr>
+ <td id="ordering-entity3-PASS-c39"><b>ordering-entity3-PASS-c39</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#generation-generation-ordering"><span>Constraint 39 (generation-generation-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.ttl" title="ordering-entity3-PASS-c39.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.provx" title="ordering-entity3-PASS-c39.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.provn" title="ordering-entity3-PASS-c39.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-entity4-PASS-c40</b></td>
- <td>40</td>
+ </tr>
+ <tr>
+ <td id="ordering-entity4-PASS-c40"><b>ordering-entity4-PASS-c40</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#invalidation-invalidation-ordering"><span>Constraint 40 (invalidation-invalidation-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.ttl" title="ordering-entity4-PASS-c40.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.provx" title="ordering-entity4-PASS-c40.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.provn" title="ordering-entity4-PASS-c40.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-specialization1-PASS-c45</b></td>
- <td>45</td>
+ </tr>
+ <tr>
+ <td id="ordering-specialization1-PASS-c45"><b>ordering-specialization1-PASS-c45</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#specialization-generation-ordering"><span>Constraint 45 (specialization-generation-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.ttl" title="ordering-specialization1-PASS-c45.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.provx" title="ordering-specialization1-PASS-c45.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.provn" title="ordering-specialization1-PASS-c45.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-specialization2-PASS-c46</b></td>
- <td>46</td>
+ </tr>
+ <tr>
+ <td id="ordering-specialization2-PASS-c46"><b>ordering-specialization2-PASS-c46</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#specialization-invalidation-ordering"><span>Constraint 46 (specialization-invalidation-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.ttl" title="ordering-specialization2-PASS-c46.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.provx" title="ordering-specialization2-PASS-c46.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.provn" title="ordering-specialization2-PASS-c46.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-specialization3-PASS-c42-c45</b></td>
- <td>42;45</td>
+ </tr>
+ <tr>
+ <td id="ordering-specialization3-PASS-c42-c45"><b>ordering-specialization3-PASS-c42-c45</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#specialization-generation-ordering"><span>Constraint 45 (specialization-generation-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.ttl" title="ordering-specialization3-PASS-c42-c45.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.provx" title="ordering-specialization3-PASS-c42-c45.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.provn" title="ordering-specialization3-PASS-c42-c45.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-specialization4-FAIL-c42-c45</b></td>
- <td>42;45</td>
+ </tr>
+ <tr>
+ <td id="ordering-specialization4-FAIL-c42-c45"><b>ordering-specialization4-FAIL-c42-c45</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#derivation-generation-generation-ordering"><span>Constraint 42 (derivation-generation-generation-ordering)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#specialization-generation-ordering"><span>Constraint 45 (specialization-generation-ordering)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.ttl" title="ordering-specialization4-FAIL-c42-c45.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx" title="ordering-specialization4-FAIL-c42-c45.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn" title="ordering-specialization4-FAIL-c42-c45.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>ordering-starts1-PASS-c43</b></td>
- <td>43</td>
+ </tr>
+ <tr>
+ <td id="ordering-starts1-PASS-c43"><b>ordering-starts1-PASS-c43</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#wasStartedBy-ordering"><span>Constraint 43 (wasStartedBy-ordering)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.ttl" title="ordering-starts1-PASS-c43.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.provx" title="ordering-starts1-PASS-c43.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.provn" title="ordering-starts1-PASS-c43.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>type-collection-FAIL-c56</b></td>
- <td>56</td>
+ </tr>
+ <tr>
+ <td id="type-collection-FAIL-c56"><b>type-collection-FAIL-c56</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#membership-empty-collection"><span>Constraint 56 (membership-empty-collection)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.ttl" title="type-collection-FAIL-c56.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.provx" title="type-collection-FAIL-c56.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.provn" title="type-collection-FAIL-c56.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>type-f1-FAIL-c55</b></td>
- <td>55</td>
+ </tr>
+ <tr>
+ <td id="type-f1-FAIL-c55"><b>type-f1-FAIL-c55</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#entity-activity-disjoint"><span>Constraint 55 (entity-activity-disjoint)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c55.ttl" title="type-f1-FAIL-c55.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c55.provx" title="type-f1-FAIL-c55.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c55.provn" title="type-f1-FAIL-c55.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>type-f2-FAIL-c55</b></td>
- <td>55</td>
+ </tr>
+ <tr>
+ <td id="type-f2-FAIL-c55"><b>type-f2-FAIL-c55</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#entity-activity-disjoint"><span>Constraint 55 (entity-activity-disjoint)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c55.ttl" title="type-f2-FAIL-c55.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c55.provx" title="type-f2-FAIL-c55.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c55.provn" title="type-f2-FAIL-c55.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>type-f3-FAIL-c54</b></td>
- <td>54</td>
+ </tr>
+ <tr>
+ <td id="type-f3-FAIL-c54"><b>type-f3-FAIL-c54</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#impossible-object-property-overlap"><span>Constraint 54 (impossible-object-property-overlap)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.ttl" title="type-f3-FAIL-c54.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.provx" title="type-f3-FAIL-c54.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.provn" title="type-f3-FAIL-c54.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>type-f4-FAIL-c53</b></td>
- <td>53</td>
+ </tr>
+ <tr>
+ <td id="type-f4-FAIL-c53"><b>type-f4-FAIL-c53</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#impossible-property-overlap"><span>Constraint 53 (impossible-property-overlap)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.ttl" title="type-f4-FAIL-c53.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.provx" title="type-f4-FAIL-c53.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.provn" title="type-f4-FAIL-c53.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-end-f1-FAIL-c29</b></td>
- <td>29</td>
+ </tr>
+ <tr>
+ <td id="unification-activity-end-f1-FAIL-c29"><b>unification-activity-end-f1-FAIL-c29</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-endTime"><span>Constraint 29 (unique-endTime)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.ttl" title="unification-activity-end-f1-FAIL-c29.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.provx" title="unification-activity-end-f1-FAIL-c29.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.provn" title="unification-activity-end-f1-FAIL-c29.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-end-s1-PASS-c29</b></td>
- <td>29</td>
+ </tr>
+ <tr>
+ <td id="unification-activity-end-s1-PASS-c29"><b>unification-activity-end-s1-PASS-c29</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-endTime"><span>Constraint 29 (unique-endTime)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.ttl" title="unification-activity-end-s1-PASS-c29.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.provx" title="unification-activity-end-s1-PASS-c29.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.provn" title="unification-activity-end-s1-PASS-c29.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-s1-PASS-c22</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-activity-s1-PASS-c22"><b>unification-activity-s1-PASS-c22</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object"><span>Constraint 22 (key-object)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.ttl" title="unification-activity-s1-PASS-c22.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.provx" title="unification-activity-s1-PASS-c22.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.provn" title="unification-activity-s1-PASS-c22.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-s2-PASS-c22</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-activity-s2-PASS-c22"><b>unification-activity-s2-PASS-c22</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object"><span>Constraint 22 (key-object)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.ttl" title="unification-activity-s2-PASS-c22.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.provx" title="unification-activity-s2-PASS-c22.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.provn" title="unification-activity-s2-PASS-c22.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-s3-PASS-c22</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-activity-s3-PASS-c22"><b>unification-activity-s3-PASS-c22</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object"><span>Constraint 22 (key-object)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.ttl" title="unification-activity-s3-PASS-c22.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.provx" title="unification-activity-s3-PASS-c22.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.provn" title="unification-activity-s3-PASS-c22.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-s4-PASS-c22</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-activity-s4-PASS-c22"><b>unification-activity-s4-PASS-c22</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object"><span>Constraint 22 (key-object)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.ttl" title="unification-activity-s4-PASS-c22.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.provx" title="unification-activity-s4-PASS-c22.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.provn" title="unification-activity-s4-PASS-c22.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-start-f1-FAIL-c28</b></td>
- <td>28</td>
+ </tr>
+ <tr>
+ <td id="unification-activity-start-f1-FAIL-c28"><b>unification-activity-start-f1-FAIL-c28</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-startTime"><span>Constraint 28 (unique-startTime)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.ttl" title="unification-activity-start-f1-FAIL-c28.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.provx" title="unification-activity-start-f1-FAIL-c28.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.provn" title="unification-activity-start-f1-FAIL-c28.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-activity-start-s1-PASS-c28</b></td>
- <td>28</td>
+ </tr>
+ <tr>
+ <td id="unification-activity-start-s1-PASS-c28"><b>unification-activity-start-s1-PASS-c28</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-startTime"><span>Constraint 28 (unique-startTime)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.ttl" title="unification-activity-start-s1-PASS-c28.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.provx" title="unification-activity-start-s1-PASS-c28.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.provn" title="unification-activity-start-s1-PASS-c28.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-f1-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-f1-FAIL-c23"><b>unification-association-f1-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.ttl" title="unification-association-f1-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.provx" title="unification-association-f1-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.provn" title="unification-association-f1-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-f2-FAIL-c23"><b>unification-association-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.ttl" title="unification-association-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.provx" title="unification-association-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.provn" title="unification-association-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-f3-FAIL-c23"><b>unification-association-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.ttl" title="unification-association-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provx" title="unification-association-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provn" title="unification-association-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-f4-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-f4-FAIL-c23"><b>unification-association-f4-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.ttl" title="unification-association-f4-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provx" title="unification-association-f4-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provn" title="unification-association-f4-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-f5-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-f5-FAIL-c23"><b>unification-association-f5-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.ttl" title="unification-association-f5-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provx" title="unification-association-f5-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provn" title="unification-association-f5-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-f6-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-f6-FAIL-DM"><b>unification-association-f6-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.ttl" title="unification-association-f6-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.provx" title="unification-association-f6-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.provn" title="unification-association-f6-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-s1-PASS-c23"><b>unification-association-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.ttl" title="unification-association-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.provx" title="unification-association-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.provn" title="unification-association-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-s2-PASS-c23"><b>unification-association-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.ttl" title="unification-association-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.provx" title="unification-association-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.provn" title="unification-association-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-s3-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-s3-PASS-c23"><b>unification-association-s3-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.ttl" title="unification-association-s3-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.provx" title="unification-association-s3-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.provn" title="unification-association-s3-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-s4-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-s4-PASS-c23"><b>unification-association-s4-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.ttl" title="unification-association-s4-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.provx" title="unification-association-s4-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.provn" title="unification-association-s4-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-association-s5-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-association-s5-PASS-c23"><b>unification-association-s5-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.ttl" title="unification-association-s5-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.provx" title="unification-association-s5-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.provn" title="unification-association-s5-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attributes-activity-s1-PASS-c22</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attributes-activity-s1-PASS-c22"><b>unification-attributes-activity-s1-PASS-c22</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object"><span>Constraint 22 (key-object)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.ttl" title="unification-attributes-activity-s1-PASS-c22.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provx" title="unification-attributes-activity-s1-PASS-c22.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provn" title="unification-attributes-activity-s1-PASS-c22.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attributes-end-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attributes-end-s1-PASS-c23"><b>unification-attributes-end-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.ttl" title="unification-attributes-end-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.provx" title="unification-attributes-end-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.provn" title="unification-attributes-end-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attributes-end-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attributes-end-s2-PASS-c23"><b>unification-attributes-end-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.ttl" title="unification-attributes-end-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.provx" title="unification-attributes-end-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.provn" title="unification-attributes-end-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attributes-entity-s1-PASS-c22</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object">Constraint 22 (key-object)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attributes-entity-s1-PASS-c22"><b>unification-attributes-entity-s1-PASS-c22</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-object"><span>Constraint 22 (key-object)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.ttl" title="unification-attributes-entity-s1-PASS-c22.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provx" title="unification-attributes-entity-s1-PASS-c22.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provn" title="unification-attributes-entity-s1-PASS-c22.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attributes-start-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attributes-start-s1-PASS-c23"><b>unification-attributes-start-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.ttl" title="unification-attributes-start-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.provx" title="unification-attributes-start-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.provn" title="unification-attributes-start-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attributes-start-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attributes-start-s2-PASS-c23"><b>unification-attributes-start-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.ttl" title="unification-attributes-start-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.provx" title="unification-attributes-start-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.provn" title="unification-attributes-start-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attribution-f1-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attribution-f1-FAIL-DM"><b>unification-attribution-f1-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.ttl" title="unification-attribution-f1-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.provx" title="unification-attribution-f1-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.provn" title="unification-attribution-f1-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attribution-f2-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attribution-f2-FAIL-DM"><b>unification-attribution-f2-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.ttl" title="unification-attribution-f2-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.provx" title="unification-attribution-f2-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.provn" title="unification-attribution-f2-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attribution-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attribution-s1-PASS-c23"><b>unification-attribution-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.ttl" title="unification-attribution-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.provx" title="unification-attribution-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.provn" title="unification-attribution-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attribution-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attribution-s2-PASS-c23"><b>unification-attribution-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.ttl" title="unification-attribution-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.provx" title="unification-attribution-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.provn" title="unification-attribution-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attribution-s3-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attribution-s3-PASS-c23"><b>unification-attribution-s3-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.ttl" title="unification-attribution-s3-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.provx" title="unification-attribution-s3-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.provn" title="unification-attribution-s3-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-attribution-s4-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-attribution-s4-PASS-c23"><b>unification-attribution-s4-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.ttl" title="unification-attribution-s4-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provx" title="unification-attribution-s4-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provn" title="unification-attribution-s4-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-bundle-f1-FAIL-c55-c56</b></td>
- <td>55;56</td>
+ </tr>
+ <tr>
+ <td id="unification-bundle-f1-FAIL-c55-c56"><b>unification-bundle-f1-FAIL-c55-c56</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#entity-activity-disjoint"><span>Constraint 55 (entity-activity-disjoint)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#membership-empty-collection"><span>Constraint 56 (membership-empty-collection)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.ttl" title="unification-bundle-f1-FAIL-c55-c56.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provx" title="unification-bundle-f1-FAIL-c55-c56.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn" title="unification-bundle-f1-FAIL-c55-c56.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-communication-f1-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-communication-f1-FAIL-DM"><b>unification-communication-f1-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.ttl" title="unification-communication-f1-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.provx" title="unification-communication-f1-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.provn" title="unification-communication-f1-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-communication-f2-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-communication-f2-FAIL-DM"><b>unification-communication-f2-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.ttl" title="unification-communication-f2-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.provx" title="unification-communication-f2-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.provn" title="unification-communication-f2-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-communication-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-communication-s1-PASS-c23"><b>unification-communication-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.ttl" title="unification-communication-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.provx" title="unification-communication-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.provn" title="unification-communication-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-communication-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-communication-s2-PASS-c23"><b>unification-communication-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.ttl" title="unification-communication-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.provx" title="unification-communication-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.provn" title="unification-communication-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-communication-s3-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-communication-s3-PASS-c23"><b>unification-communication-s3-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.ttl" title="unification-communication-s3-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.provx" title="unification-communication-s3-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.provn" title="unification-communication-s3-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-communication-s4-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-communication-s4-PASS-c23"><b>unification-communication-s4-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.ttl" title="unification-communication-s4-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.provx" title="unification-communication-s4-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.provn" title="unification-communication-s4-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-f1-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-f1-FAIL-c23"><b>unification-delegation-f1-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.ttl" title="unification-delegation-f1-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.provx" title="unification-delegation-f1-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.provn" title="unification-delegation-f1-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-f2-FAIL-c23"><b>unification-delegation-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.ttl" title="unification-delegation-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.provx" title="unification-delegation-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.provn" title="unification-delegation-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-f3-FAIL-c23"><b>unification-delegation-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.ttl" title="unification-delegation-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.provx" title="unification-delegation-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.provn" title="unification-delegation-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-f6-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-f6-FAIL-DM"><b>unification-delegation-f6-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.ttl" title="unification-delegation-f6-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.provx" title="unification-delegation-f6-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.provn" title="unification-delegation-f6-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-s1-PASS-c23"><b>unification-delegation-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.ttl" title="unification-delegation-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.provx" title="unification-delegation-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.provn" title="unification-delegation-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-s2-PASS-c23"><b>unification-delegation-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.ttl" title="unification-delegation-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.provx" title="unification-delegation-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.provn" title="unification-delegation-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-s3-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-s3-PASS-c23"><b>unification-delegation-s3-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.ttl" title="unification-delegation-s3-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.provx" title="unification-delegation-s3-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.provn" title="unification-delegation-s3-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-s4-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-s4-PASS-c23"><b>unification-delegation-s4-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.ttl" title="unification-delegation-s4-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.provx" title="unification-delegation-s4-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.provn" title="unification-delegation-s4-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-delegation-s5-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-delegation-s5-PASS-c23"><b>unification-delegation-s5-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.ttl" title="unification-delegation-s5-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provx" title="unification-delegation-s5-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provn" title="unification-delegation-s5-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-f1-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-f1-FAIL-c23"><b>unification-derivation-f1-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.ttl" title="unification-derivation-f1-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provx" title="unification-derivation-f1-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provn" title="unification-derivation-f1-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-f2-FAIL-c23"><b>unification-derivation-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.ttl" title="unification-derivation-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provx" title="unification-derivation-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provn" title="unification-derivation-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-f3-FAIL-c23"><b>unification-derivation-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.ttl" title="unification-derivation-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provx" title="unification-derivation-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provn" title="unification-derivation-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-f4-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-f4-FAIL-c23"><b>unification-derivation-f4-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.ttl" title="unification-derivation-f4-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provx" title="unification-derivation-f4-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provn" title="unification-derivation-f4-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-s1-PASS-c23"><b>unification-derivation-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.ttl" title="unification-derivation-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.provx" title="unification-derivation-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.provn" title="unification-derivation-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-s2-PASS-c23"><b>unification-derivation-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.ttl" title="unification-derivation-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.provx" title="unification-derivation-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.provn" title="unification-derivation-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-s3-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-s3-PASS-c23"><b>unification-derivation-s3-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.ttl" title="unification-derivation-s3-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.provx" title="unification-derivation-s3-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.provn" title="unification-derivation-s3-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-s4-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-s4-PASS-c23"><b>unification-derivation-s4-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.ttl" title="unification-derivation-s4-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.provx" title="unification-derivation-s4-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.provn" title="unification-derivation-s4-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-derivation-s5-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-derivation-s5-PASS-c23"><b>unification-derivation-s5-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.ttl" title="unification-derivation-s5-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.provx" title="unification-derivation-s5-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.provn" title="unification-derivation-s5-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-f1-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-end-f1-FAIL-c23"><b>unification-end-f1-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.ttl" title="unification-end-f1-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.provx" title="unification-end-f1-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.provn" title="unification-end-f1-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-end-f2-FAIL-c23"><b>unification-end-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.ttl" title="unification-end-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.provx" title="unification-end-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.provn" title="unification-end-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-end-f3-FAIL-c23"><b>unification-end-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.ttl" title="unification-end-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.provx" title="unification-end-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.provn" title="unification-end-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-f4-FAIL-c27</b></td>
- <td>27</td>
+ </tr>
+ <tr>
+ <td id="unification-end-f4-FAIL-c27"><b>unification-end-f4-FAIL-c27</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.ttl" title="unification-end-f4-FAIL-c27.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.provx" title="unification-end-f4-FAIL-c27.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.provn" title="unification-end-f4-FAIL-c27.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-f5-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-end-f5-FAIL-c23"><b>unification-end-f5-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.ttl" title="unification-end-f5-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.provx" title="unification-end-f5-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.provn" title="unification-end-f5-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-s1-PASS-c27</b></td>
- <td>27</td>
+ </tr>
+ <tr>
+ <td id="unification-end-s1-PASS-c27"><b>unification-end-s1-PASS-c27</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.ttl" title="unification-end-s1-PASS-c27.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.provx" title="unification-end-s1-PASS-c27.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.provn" title="unification-end-s1-PASS-c27.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-s2-PASS-c27</b></td>
- <td>27</td>
+ </tr>
+ <tr>
+ <td id="unification-end-s2-PASS-c27"><b>unification-end-s2-PASS-c27</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.ttl" title="unification-end-s2-PASS-c27.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.provx" title="unification-end-s2-PASS-c27.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.provn" title="unification-end-s2-PASS-c27.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-s3-PASS-c27</b></td>
- <td>27</td>
+ </tr>
+ <tr>
+ <td id="unification-end-s3-PASS-c27"><b>unification-end-s3-PASS-c27</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.ttl" title="unification-end-s3-PASS-c27.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.provx" title="unification-end-s3-PASS-c27.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.provn" title="unification-end-s3-PASS-c27.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-s4-PASS-c27</b></td>
- <td>27</td>
+ </tr>
+ <tr>
+ <td id="unification-end-s4-PASS-c27"><b>unification-end-s4-PASS-c27</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.ttl" title="unification-end-s4-PASS-c27.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.provx" title="unification-end-s4-PASS-c27.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.provn" title="unification-end-s4-PASS-c27.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-s5-PASS-c23-c27</b></td>
- <td>23;27</td>
+ </tr>
+ <tr>
+ <td id="unification-end-s5-PASS-c23-c27"><b>unification-end-s5-PASS-c23-c27</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.ttl" title="unification-end-s5-PASS-c23-c27.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.provx" title="unification-end-s5-PASS-c23-c27.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.provn" title="unification-end-s5-PASS-c23-c27.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-end-s6-PASS-c23-c27</b></td>
- <td>23;27</td>
+ </tr>
+ <tr>
+ <td id="unification-end-s6-PASS-c23-c27"><b>unification-end-s6-PASS-c23-c27</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasEndedBy"><span>Constraint 27 (unique-wasEndedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.ttl" title="unification-end-s6-PASS-c23-c27.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.provx" title="unification-end-s6-PASS-c23-c27.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.provn" title="unification-end-s6-PASS-c23-c27.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-f1-FAIL-c24</b></td>
- <td>24</td>
+ </tr>
+ <tr>
+ <td id="unification-generation-f1-FAIL-c24"><b>unification-generation-f1-FAIL-c24</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.ttl" title="unification-generation-f1-FAIL-c24.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.provx" title="unification-generation-f1-FAIL-c24.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.provn" title="unification-generation-f1-FAIL-c24.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-f2-FAIL-c23"><b>unification-generation-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.ttl" title="unification-generation-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.provx" title="unification-generation-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.provn" title="unification-generation-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-f3-FAIL-c23"><b>unification-generation-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.ttl" title="unification-generation-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.provx" title="unification-generation-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.provn" title="unification-generation-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-f4-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-f4-FAIL-c23"><b>unification-generation-f4-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.ttl" title="unification-generation-f4-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.provx" title="unification-generation-f4-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.provn" title="unification-generation-f4-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-f5-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-f5-FAIL-c23"><b>unification-generation-f5-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.ttl" title="unification-generation-f5-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.provx" title="unification-generation-f5-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.provn" title="unification-generation-f5-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-f6-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-f6-FAIL-c23"><b>unification-generation-f6-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.ttl" title="unification-generation-f6-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.provx" title="unification-generation-f6-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.provn" title="unification-generation-f6-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-f7-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-f7-FAIL-c23"><b>unification-generation-f7-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.ttl" title="unification-generation-f7-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.provx" title="unification-generation-f7-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.provn" title="unification-generation-f7-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s1-PASS-c23"><b>unification-generation-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.ttl" title="unification-generation-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.provx" title="unification-generation-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.provn" title="unification-generation-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s2-PASS-c23"><b>unification-generation-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.ttl" title="unification-generation-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.provx" title="unification-generation-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.provn" title="unification-generation-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s3-PASS-c24</b></td>
- <td>24</td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s3-PASS-c24"><b>unification-generation-s3-PASS-c24</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.ttl" title="unification-generation-s3-PASS-c24.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.provx" title="unification-generation-s3-PASS-c24.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.provn" title="unification-generation-s3-PASS-c24.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s4-PASS</b></td>
- <td></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s4-PASS"><b>unification-generation-s4-PASS</b></td>
+ <td>
+
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s4-PASS.ttl" title="unification-generation-s4-PASS.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s4-PASS.provx" title="unification-generation-s4-PASS.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s4-PASS.provn" title="unification-generation-s4-PASS.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s5-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s5-PASS-c23"><b>unification-generation-s5-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.ttl" title="unification-generation-s5-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.provx" title="unification-generation-s5-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.provn" title="unification-generation-s5-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s6-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s6-PASS-c23"><b>unification-generation-s6-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.ttl" title="unification-generation-s6-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.provx" title="unification-generation-s6-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.provn" title="unification-generation-s6-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s7-PASS-c23-c24</b></td>
- <td>23;24</td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s7-PASS-c23-c24"><b>unification-generation-s7-PASS-c23-c24</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.ttl" title="unification-generation-s7-PASS-c23-c24.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.provx" title="unification-generation-s7-PASS-c23-c24.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.provn" title="unification-generation-s7-PASS-c23-c24.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-generation-s8-PASS-c23-c24</b></td>
- <td>23;24</td>
+ </tr>
+ <tr>
+ <td id="unification-generation-s8-PASS-c23-c24"><b>unification-generation-s8-PASS-c23-c24</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-generation"><span>Constraint 24 (unique-generation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.ttl" title="unification-generation-s8-PASS-c23-c24.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.provx" title="unification-generation-s8-PASS-c23-c24.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.provn" title="unification-generation-s8-PASS-c23-c24.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-influence-f1-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-influence-f1-FAIL-DM"><b>unification-influence-f1-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.ttl" title="unification-influence-f1-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.provx" title="unification-influence-f1-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.provn" title="unification-influence-f1-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-influence-f2-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-influence-f2-FAIL-DM"><b>unification-influence-f2-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.ttl" title="unification-influence-f2-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.provx" title="unification-influence-f2-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.provn" title="unification-influence-f2-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-influence-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-influence-s1-PASS-c23"><b>unification-influence-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.ttl" title="unification-influence-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.provx" title="unification-influence-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.provn" title="unification-influence-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-f1-FAIL-c25</b></td>
- <td>25</td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-f1-FAIL-c25"><b>unification-invalidation-f1-FAIL-c25</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.ttl" title="unification-invalidation-f1-FAIL-c25.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.provx" title="unification-invalidation-f1-FAIL-c25.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.provn" title="unification-invalidation-f1-FAIL-c25.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-f2-FAIL-c23"><b>unification-invalidation-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.ttl" title="unification-invalidation-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.provx" title="unification-invalidation-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.provn" title="unification-invalidation-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-f3-FAIL-c23"><b>unification-invalidation-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.ttl" title="unification-invalidation-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.provx" title="unification-invalidation-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.provn" title="unification-invalidation-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-f4-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-f4-FAIL-c23"><b>unification-invalidation-f4-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.ttl" title="unification-invalidation-f4-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.provx" title="unification-invalidation-f4-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.provn" title="unification-invalidation-f4-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-f5-FAIL-c23-c25</b></td>
- <td>23;25</td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-f5-FAIL-c23-c25"><b>unification-invalidation-f5-FAIL-c23-c25</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.ttl" title="unification-invalidation-f5-FAIL-c23-c25.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provx" title="unification-invalidation-f5-FAIL-c23-c25.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provn" title="unification-invalidation-f5-FAIL-c23-c25.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-f6-FAIL-c23-c25</b></td>
- <td>23;25</td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-f6-FAIL-c23-c25"><b>unification-invalidation-f6-FAIL-c23-c25</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.ttl" title="unification-invalidation-f6-FAIL-c23-c25.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provx" title="unification-invalidation-f6-FAIL-c23-c25.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provn" title="unification-invalidation-f6-FAIL-c23-c25.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-f7-FAIL-c23-c25</b></td>
- <td>23;25</td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-f7-FAIL-c23-c25"><b>unification-invalidation-f7-FAIL-c23-c25</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.ttl" title="unification-invalidation-f7-FAIL-c23-c25.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provx" title="unification-invalidation-f7-FAIL-c23-c25.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provn" title="unification-invalidation-f7-FAIL-c23-c25.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-s1-PASS-c23"><b>unification-invalidation-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.ttl" title="unification-invalidation-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.provx" title="unification-invalidation-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.provn" title="unification-invalidation-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-s2-PASS-c23"><b>unification-invalidation-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.ttl" title="unification-invalidation-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.provx" title="unification-invalidation-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.provn" title="unification-invalidation-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-s3-PASS-c25</b></td>
- <td>25</td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-s3-PASS-c25"><b>unification-invalidation-s3-PASS-c25</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.ttl" title="unification-invalidation-s3-PASS-c25.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.provx" title="unification-invalidation-s3-PASS-c25.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.provn" title="unification-invalidation-s3-PASS-c25.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-s5-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-s5-PASS-c23"><b>unification-invalidation-s5-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.ttl" title="unification-invalidation-s5-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.provx" title="unification-invalidation-s5-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.provn" title="unification-invalidation-s5-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-s6-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-s6-PASS-c23"><b>unification-invalidation-s6-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.ttl" title="unification-invalidation-s6-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.provx" title="unification-invalidation-s6-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.provn" title="unification-invalidation-s6-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-s7-PASS-c23-c25</b></td>
- <td>23;25</td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-s7-PASS-c23-c25"><b>unification-invalidation-s7-PASS-c23-c25</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.ttl" title="unification-invalidation-s7-PASS-c23-c25.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provx" title="unification-invalidation-s7-PASS-c23-c25.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provn" title="unification-invalidation-s7-PASS-c23-c25.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-invalidation-s8-PASS-c23-c25</b></td>
- <td>23;25</td>
+ </tr>
+ <tr>
+ <td id="unification-invalidation-s8-PASS-c23-c25"><b>unification-invalidation-s8-PASS-c23-c25</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-invalidation"><span>Constraint 25 (unique-invalidation)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.ttl" title="unification-invalidation-s8-PASS-c23-c25.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provx" title="unification-invalidation-s8-PASS-c23-c25.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provn" title="unification-invalidation-s8-PASS-c23-c25.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-membership-f1-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-membership-f1-FAIL-DM"><b>unification-membership-f1-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-membership-f1-FAIL-DM.ttl" title="unification-membership-f1-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-membership-f1-FAIL-DM.provx" title="unification-membership-f1-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-membership-f1-FAIL-DM.provn" title="unification-membership-f1-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-specialization-f1-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-specialization-f1-FAIL-DM"><b>unification-specialization-f1-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f1-FAIL-DM.ttl" title="unification-specialization-f1-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f1-FAIL-DM.provx" title="unification-specialization-f1-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f1-FAIL-DM.provn" title="unification-specialization-f1-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-specialization-f2-FAIL-DM</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-specialization-f2-FAIL-DM"><b>unification-specialization-f2-FAIL-DM</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-dm-20121211/Overview.html#prov-dm-types-and-relations">Malformed statement(s)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f2-FAIL-DM.ttl" title="unification-specialization-f2-FAIL-DM.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f2-FAIL-DM.provx" title="unification-specialization-f2-FAIL-DM.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f2-FAIL-DM.provn" title="unification-specialization-f2-FAIL-DM.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-specialization-f3-FAIL-c52</b></td>
- <td>52</td>
+ </tr>
+ <tr>
+ <td id="unification-specialization-f3-FAIL-c52"><b>unification-specialization-f3-FAIL-c52</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#impossible-specialization-reflexive"><span>Constraint 52 (impossible-specialization-reflexive)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.ttl" title="unification-specialization-f3-FAIL-c52.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.provx" title="unification-specialization-f3-FAIL-c52.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.provn" title="unification-specialization-f3-FAIL-c52.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-specialization-f4-FAIL-c52</b></td>
- <td>52</td>
+ </tr>
+ <tr>
+ <td id="unification-specialization-f4-FAIL-c52"><b>unification-specialization-f4-FAIL-c52</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#impossible-specialization-reflexive"><span>Constraint 52 (impossible-specialization-reflexive)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.ttl" title="unification-specialization-f4-FAIL-c52.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.provx" title="unification-specialization-f4-FAIL-c52.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.provn" title="unification-specialization-f4-FAIL-c52.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f1-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-start-f1-FAIL-c23"><b>unification-start-f1-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.ttl" title="unification-start-f1-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.provx" title="unification-start-f1-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.provn" title="unification-start-f1-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-start-f2-FAIL-c23"><b>unification-start-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.ttl" title="unification-start-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.provx" title="unification-start-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.provn" title="unification-start-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-start-f3-FAIL-c23"><b>unification-start-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.ttl" title="unification-start-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.provx" title="unification-start-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.provn" title="unification-start-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f4-FAIL-c26</b></td>
- <td>26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-f4-FAIL-c26"><b>unification-start-f4-FAIL-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.ttl" title="unification-start-f4-FAIL-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.provx" title="unification-start-f4-FAIL-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.provn" title="unification-start-f4-FAIL-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f5-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-start-f5-FAIL-c23"><b>unification-start-f5-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.ttl" title="unification-start-f5-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.provx" title="unification-start-f5-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.provn" title="unification-start-f5-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f6-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-start-f6-FAIL-c23"><b>unification-start-f6-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.ttl" title="unification-start-f6-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.provx" title="unification-start-f6-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.provn" title="unification-start-f6-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f7-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-start-f7-FAIL-c23"><b>unification-start-f7-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.ttl" title="unification-start-f7-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.provx" title="unification-start-f7-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.provn" title="unification-start-f7-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-f8-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-start-f8-FAIL-c23"><b>unification-start-f8-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.ttl" title="unification-start-f8-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.provx" title="unification-start-f8-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.provn" title="unification-start-f8-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s1-PASS-c26</b></td>
- <td>26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s1-PASS-c26"><b>unification-start-s1-PASS-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.ttl" title="unification-start-s1-PASS-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.provx" title="unification-start-s1-PASS-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.provn" title="unification-start-s1-PASS-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s2-PASS-c26</b></td>
- <td>26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s2-PASS-c26"><b>unification-start-s2-PASS-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.ttl" title="unification-start-s2-PASS-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.provx" title="unification-start-s2-PASS-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.provn" title="unification-start-s2-PASS-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s3-PASS-c26</b></td>
- <td>26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s3-PASS-c26"><b>unification-start-s3-PASS-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.ttl" title="unification-start-s3-PASS-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.provx" title="unification-start-s3-PASS-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.provn" title="unification-start-s3-PASS-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s4-PASS-c26</b></td>
- <td>26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s4-PASS-c26"><b>unification-start-s4-PASS-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.ttl" title="unification-start-s4-PASS-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.provx" title="unification-start-s4-PASS-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.provn" title="unification-start-s4-PASS-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s5-PASS-c23-c26</b></td>
- <td>23;26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s5-PASS-c23-c26"><b>unification-start-s5-PASS-c23-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.ttl" title="unification-start-s5-PASS-c23-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.provx" title="unification-start-s5-PASS-c23-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.provn" title="unification-start-s5-PASS-c23-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s6-PASS-c23-c26</b></td>
- <td>23;26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s6-PASS-c23-c26"><b>unification-start-s6-PASS-c23-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.ttl" title="unification-start-s6-PASS-c23-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.provx" title="unification-start-s6-PASS-c23-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.provn" title="unification-start-s6-PASS-c23-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s7-PASS-c23-c26</b></td>
- <td>23;26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s7-PASS-c23-c26"><b>unification-start-s7-PASS-c23-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.ttl" title="unification-start-s7-PASS-c23-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.provx" title="unification-start-s7-PASS-c23-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.provn" title="unification-start-s7-PASS-c23-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s8-PASS-c23-c26</b></td>
- <td>23;26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s8-PASS-c23-c26"><b>unification-start-s8-PASS-c23-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.ttl" title="unification-start-s8-PASS-c23-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.provx" title="unification-start-s8-PASS-c23-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.provn" title="unification-start-s8-PASS-c23-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-start-s9-PASS-c23-c26</b></td>
- <td>23;26</td>
+ </tr>
+ <tr>
+ <td id="unification-start-s9-PASS-c23-c26"><b>unification-start-s9-PASS-c23-c26</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a> <br>
+<a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#unique-wasStartedBy"><span>Constraint 26 (unique-wasStartedBy)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.ttl" title="unification-start-s9-PASS-c23-c26.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.provx" title="unification-start-s9-PASS-c23-c26.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.provn" title="unification-start-s9-PASS-c23-c26.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-f2-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-f2-FAIL-c23"><b>unification-usage-f2-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.ttl" title="unification-usage-f2-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.provx" title="unification-usage-f2-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.provn" title="unification-usage-f2-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-f3-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-f3-FAIL-c23"><b>unification-usage-f3-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.ttl" title="unification-usage-f3-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.provx" title="unification-usage-f3-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.provn" title="unification-usage-f3-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-f4-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-f4-FAIL-c23"><b>unification-usage-f4-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.ttl" title="unification-usage-f4-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.provx" title="unification-usage-f4-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.provn" title="unification-usage-f4-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-f5-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-f5-FAIL-c23"><b>unification-usage-f5-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-FAIL-c23.ttl" title="unification-usage-f5-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-FAIL-c23.provx" title="unification-usage-f5-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-FAIL-c23.provn" title="unification-usage-f5-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-f6-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-f6-FAIL-c23"><b>unification-usage-f6-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-FAIL-c23.ttl" title="unification-usage-f6-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-FAIL-c23.provx" title="unification-usage-f6-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-FAIL-c23.provn" title="unification-usage-f6-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-f7-FAIL-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-f7-FAIL-c23"><b>unification-usage-f7-FAIL-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>FAIL</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-FAIL-c23.ttl" title="unification-usage-f7-FAIL-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-FAIL-c23.provx" title="unification-usage-f7-FAIL-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-FAIL-c23.provn" title="unification-usage-f7-FAIL-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-s1-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-s1-PASS-c23"><b>unification-usage-s1-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.ttl" title="unification-usage-s1-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.provx" title="unification-usage-s1-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.provn" title="unification-usage-s1-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-s2-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-s2-PASS-c23"><b>unification-usage-s2-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.ttl" title="unification-usage-s2-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.provx" title="unification-usage-s2-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.provn" title="unification-usage-s2-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-s5-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-s5-PASS-c23"><b>unification-usage-s5-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.ttl" title="unification-usage-s5-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.provx" title="unification-usage-s5-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.provn" title="unification-usage-s5-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-s6-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-s6-PASS-c23"><b>unification-usage-s6-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.ttl" title="unification-usage-s6-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.provx" title="unification-usage-s6-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.provn" title="unification-usage-s6-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-s7-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-s7-PASS-c23"><b>unification-usage-s7-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.ttl" title="unification-usage-s7-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.provx" title="unification-usage-s7-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.provn" title="unification-usage-s7-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
- <tr>
- <td><b>unification-usage-s8-PASS-c23</b></td>
- <td><a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties">Constraint 23 (key-properties)</a></td>
+ </tr>
+ <tr>
+ <td id="unification-usage-s8-PASS-c23"><b>unification-usage-s8-PASS-c23</b></td>
+ <td>
+ <a href="http://dvcs.w3.org/hg/prov/raw-file/default/model/releases/CR-prov-constraints-20121211/Overview.html#key-properties"><span>Constraint 23 (key-properties)</a>
+ </td>
<td>PASS</td>
<td>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.ttl" title="unification-usage-s8-PASS-c23.ttl">RDF</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.provx" title="unification-usage-s8-PASS-c23.provx">XML</a>
<a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.provn" title="unification-usage-s8-PASS-c23.provn">PROV-N</a>
</td>
- </tr>
+ </tr>
</table>
<p>For each report, the successful and failed validations will need to be checked against
@@ -2992,15 +3336,15 @@
unification-usage-f6-FAIL-c23<br>
unification-usage-f7-FAIL-c23</td>
</tr>
-<tr height=36 >
-<td height=36>24</td>
+<tr>
+<td>24</td>
<td>unification-generation-s3-PASS-c24<br>
unification-generation-s7-PASS-c23-c24<br>
unification-generation-s8-PASS-c23-c24</td>
<td>unification-generation-f1-FAIL-c24</td>
</tr>
-<tr height=48 >
-<td height=48>25</td>
+<tr>
+<td>25</td>
<td>unification-invalidation-s3-PASS-c25<br>
unification-invalidation-s7-PASS-c23-c25<br>
unification-invalidation-s8-PASS-c23-c25</td>
@@ -3009,8 +3353,8 @@
unification-invalidation-f6-FAIL-c23-c25<br>
unification-invalidation-f7-FAIL-c23-c25</td>
</tr>
-<tr height=108 >
-<td height=108>26</td>
+<tr>
+<td>26</td>
<td>unification-start-s1-PASS-c26<br>
unification-start-s2-PASS-c26<br>
unification-start-s3-PASS-c26<br>
@@ -3022,8 +3366,8 @@
unification-start-s9-PASS-c23-c26</td>
<td>unification-start-f4-FAIL-c26</td>
</tr>
-<tr height=72 >
-<td height=72>27</td>
+<tr>
+<td>27</td>
<td>unification-end-s1-PASS-c27<br>
unification-end-s2-PASS-c27<br>
unification-end-s3-PASS-c27<br>
@@ -3032,127 +3376,127 @@
unification-end-s6-PASS-c23-c27</td>
<td>unification-end-f4-FAIL-c27</td>
</tr>
-<tr height=12 >
-<td height=12>28</td>
+<tr>
+<td>28</td>
<td>unification-activity-start-s1-PASS-c28</td>
<td>unification-activity-start-f1-FAIL-c28</td>
</tr>
-<tr height=12 >
-<td height=12>29</td>
+<tr>
+<td>29</td>
<td>unification-activity-end-s1-PASS-c29</td>
<td>unification-activity-end-f1-FAIL-c29</td>
</tr>
-<tr height=12 >
-<td height=12>30</td>
+<tr>
+<td>30</td>
<td>ordering-activity1-PASS-c30</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>31</td>
+<tr>
+<td>31</td>
<td>ordering-activity4-PASS-c31</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>32</td>
+<tr>
+<td>32</td>
<td>ordering-activity5-PASS-c32</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>33</td>
+<tr>
+<td>33</td>
<td>ordering-activity2-PASS-c33</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>34</td>
+<tr>
+<td>34</td>
<td>ordering-activity3-PASS-c34</td>
<td></td>
</tr>
-<tr height=24 >
-<td height=24>36</td>
+<tr>
+<td>36</td>
<td>ordering-entity1-PASS-c36-c37-c38<br>
ordering-entity2-PASS-c36</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>37</td>
-<td>ordering-entity1-PASS-c36-c37-c38</td>
-<td></td>
-</tr>
-<tr height=12 >
-<td height=12>38</td>
+<tr>
+<td>37</td>
<td>ordering-entity1-PASS-c36-c37-c38</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>39</td>
+<tr>
+<td>38</td>
+<td>ordering-entity1-PASS-c36-c37-c38</td>
+<td></td>
+</tr>
+<tr>
+<td>39</td>
<td>ordering-entity3-PASS-c39</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>40</td>
+<tr>
+<td>40</td>
<td>ordering-entity4-PASS-c40</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>41</td>
+<tr>
+<td>41</td>
<td>ordering-derivation3-PASS-c41-c42</td>
<td></td>
</tr>
-<tr height=36 >
-<td height=36>42</td>
+<tr>
+<td>42</td>
<td>ordering-derivation1-PASS-c42<br>
ordering-derivation3-PASS-c41-c42<br>
ordering-specialization3-PASS-c42-c45</td>
<td>ordering-derivation2-FAIL-c42<br>
ordering-specialization4-FAIL-c42-c45</td>
</tr>
-<tr height=12 >
-<td height=12>43</td>
+<tr>
+<td>43</td>
<td>ordering-starts1-PASS-c43</td>
<td></td>
</tr>
-<tr height=12 >
-<td height=12>44</td>
+<tr>
+<td>44</td>
<td>ordering-ends1-PASS-c44</td>
<td></td>
</tr>
-<tr height=24 >
-<td height=24>45</td>
+<tr>
+<td>45</td>
<td>ordering-specialization1-PASS-c45<br>
ordering-specialization3-PASS-c42-c45</td>
<td>ordering-specialization4-FAIL-c42-c45</td>
</tr>
-<tr height=12 >
-<td height=12>46</td>
+<tr>
+<td>46</td>
<td>ordering-specialization2-PASS-c46</td>
<td></td>
</tr>
-<tr height=24 >
-<td height=24>47</td>
+<tr>
+<td>47</td>
<td>ordering-association1-PASS-c47<br>
ordering-association2-PASS-c47</td>
<td></td>
</tr>
-<tr height=24 >
-<td height=24>48</td>
+<tr>
+<td>48</td>
<td>ordering-attribution1-PASS-c48<br>
ordering-attribution2-PASS-c48</td>
<td></td>
</tr>
-<tr height=24 >
-<td height=24>49</td>
+<tr>
+<td>49</td>
<td>ordering-delegation1-PASS-c49<br>
ordering-delegation2-PASS-c49</td>
<td></td>
</tr>
-<tr height=24 >
-<td height=24>52</td>
+<tr>
+<td>52</td>
<td></td>
<td>unification-specialization-f3-FAIL-c52<br>
unification-specialization-f4-FAIL-c52</td>
</tr>
-<tr height=12 >
-<td height=12>53</td>
+<tr>
+<td>53</td>
<td></td>
<td>type-f4-FAIL-c53</td>
</tr>