--- a/testcases/constraints/readme.txt	Thu Jan 10 15:44:39 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A placeholder for constraints testcases

--- a/testcases/constraints/unification-association-f4-FAIL-c23.ttl	Thu Jan 10 15:44:39 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity ;
-	prov:type "prov:Plan"^^xsd:QName .
-
-ex:a1 a prov:Activity .
-
-ex:ag1 a prov:Agent .
-
-ex:assoc1 a prov:Association ;
-	prov:agent ex:ag1 .
-
-ex:a1 prov:qualifiedAssociation ex:assoc1 .
-
-ex:e1 a prov:Plan .
-
-ex:assoc1 prov:hadPlan ex:e1 .

--- a/testcases/constraints/unification-association-f5-FAIL-c23.ttl	Thu Jan 10 15:44:39 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity ;
-	prov:type "prov:Plan"^^xsd:QName .
-
-ex:a1 a prov:Activity .
-
-ex:ag1 a prov:Agent .
-
-ex:assoc1 a prov:Association ;
-	prov:agent ex:ag1 .
-
-ex:a1 prov:qualifiedAssociation ex:assoc1 .
-
-ex:e1 a prov:Plan .
-
-ex:assoc1 prov:hadPlan ex:e1 .

--- a/testcases/constraints/unification-derivation-f1-FAIL-c23.ttl	Thu Jan 10 15:44:39 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity .
-
-ex:e2 a prov:Entity .
-
-ex:der1 a prov:Derivation ;
-	prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:gen a prov:Generation .
-
-ex:der1 prov:hadGeneration ex:gen .
-
-ex:use a prov:Usage .
-
-ex:der1 prov:hadUsage ex:use .
-
-ex:a a prov:Activity .
-
-ex:der1 prov:hadActivity ex:a .

--- a/testcases/constraints/unification-derivation-f2-FAIL-c23.ttl	Thu Jan 10 15:44:39 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity .
-
-ex:e2 a prov:Entity .
-
-ex:der1 a prov:Derivation ;
-	prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:a a prov:Activity .
-
-ex:der1 prov:hadActivity ex:a .

--- a/testcases/constraints/unification-derivation-f3-FAIL-c23.ttl	Thu Jan 10 15:44:39 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity .
-
-ex:e2 a prov:Entity .
-
-ex:der1 a prov:Derivation ;
-	prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:gen a prov:Generation .
-
-ex:der1 prov:hadGeneration ex:gen .
-
-ex:a a prov:Activity .
-
-ex:der1 prov:hadActivity ex:a .

--- a/testcases/constraints/unification-derivation-f4-FAIL-c23.ttl	Thu Jan 10 15:44:39 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,24 +0,0 @@
-@prefix prov: <http://www.w3.org/ns/prov#> .
-@prefix prim: <http://openprovenance.org/primitives#> .
-@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
-@prefix ex: <http://example.org/> .
-@prefix xsi: <http://www.w3.org/2001/XMLSchema-instance> .
-@prefix pc1: <http://www.ipaw.info/pc1/> .
-
-
-ex:e1 a prov:Entity .
-
-ex:e2 a prov:Entity .
-
-ex:der1 a prov:Derivation ;
-	prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:use a prov:Usage .
-
-ex:der1 prov:hadUsage ex:use .
-
-ex:a a prov:Activity .
-
-ex:der1 prov:hadActivity ex:a .

--- a/testcases/process.html	Thu Jan 10 15:44:39 2013 +0100
+++ b/testcases/process.html	Thu Jan 10 17:06:54 2013 +0000
@@ -168,36 +168,29 @@
 <h3>Test Results</h3>
 
 <p>Implementers are asked to validate each test case with their implementation and record
-the validation results in <em>two plain text files</em>: <strong>pass.txt</strong> and
-<strong>fail.txt</strong>. 
-The <b>pass.txt</b> file MUST contain all the identifiers (one on each line) of
-the test cases that have been successfully validated, and <b>fail.txt</b>
+the validation results in two lists: the <b>pass list</b> and the <b>fail list</b>.
+The <b>pass list</b> file MUST contain all the identifiers (one on each line) of
+the test cases that have been successfully validated, and the <b>fail list</b>
 MUST contain the identifiers of all those that have failed the validation.
-The identifiers MUST also include the file extension, e.g. <b>ordering-derivation1-PASS-c42.provn</b>, to indicate the versions that were actually tested. Test cases that are not supported by the implementation SHOULD NOT be included
-in either of the files.</p>
+The identifiers MUST also include the file extension, e.g. <b>ordering-derivation1-PASS-c42.provn</b>,
+to indicate the versions that were actually tested. Test cases that are not supported by the
+implementation SHOULD NOT be included in either of the lists.</p>
 
 <p>For example, if a validator can <strong>only</strong> process the PROV-N representations of the three test cases
 <b>ordering-derivation1-PASS-c42</b>, <b>ordering-derivation2-FAIL-c42</b>, and <b>ordering-derivation3-PASS-c41-c42</b>, we
-expect the result files's contents to be similar to the below.</p>
+expect the result lists's contents to be similar to the below.</p>
 <pre class="example">
-pass.txt:
+The pass list:
 	ordering-derivation1-PASS-c42.provn
 	ordering-derivation3-PASS-c41-c42.provn
 	
-fail.txt:
+The fail list:
 	ordering-derivation2-FAIL-c42.provn
 </pre>
 
 
-<p>Please email the test result files to the PROV Working Group at <a
-href="mailto:public-prov-comments@w3.org">public-prov-comments@w3.org</a>. Your 
-implementation test results will be collated and added to the
-<a href="http://dvcs.w3.org/hg/prov/raw-file/default/reports/prov-implementations.html">implementation
-report</a>.</p>
-
-<p class="note">Dong: Another option is to have implementers provide some basic information about their
-  implementations in a questionnaire on WBS and copy the contents of the two results files into text fields.
-  See <a href="https://www.w3.org/2002/09/wbs/99999/prov-constraints/">the draft questionnaire</a>.</p>
+<p>Please report your test results using the <a href="https://www.w3.org/2002/09/wbs/99999/prov-constraints/">constraint questionnaire</a>.
+</p>
 
 </section>
 
@@ -762,7 +755,7 @@
     </td>
     <td>FAIL</td>
     <td>
-      <a href="constraints/unification-association-f4-FAIL-c23.ttl" title="unification-association-f4-FAIL-c23.ttl">RDF</a>
+      RDF<a href="#unavailable-rdf" title="Not available">*</a>
       <a href="constraints/unification-association-f4-FAIL-c23.provn" title="unification-association-f4-FAIL-c23.provn">PROV-N</a>
       <a href="constraints/unification-association-f4-FAIL-c23.provx" title="unification-association-f4-FAIL-c23.provx">XML</a>
     </td>
@@ -774,7 +767,7 @@
     </td>
     <td>FAIL</td>
     <td>
-      <a href="constraints/unification-association-f5-FAIL-c23.ttl" title="unification-association-f5-FAIL-c23.ttl">RDF</a>
+      RDF<a href="#unavailable-rdf" title="Not available">*</a>
       <a href="constraints/unification-association-f5-FAIL-c23.provn" title="unification-association-f5-FAIL-c23.provn">PROV-N</a>
       <a href="constraints/unification-association-f5-FAIL-c23.provx" title="unification-association-f5-FAIL-c23.provx">XML</a>
     </td>
@@ -1195,7 +1188,7 @@
     </td>
     <td>FAIL</td>
     <td>
-      <a href="constraints/unification-derivation-f1-FAIL-c23.ttl" title="unification-derivation-f1-FAIL-c23.ttl">RDF</a>
+      RDF<a href="#unavailable-rdf" title="Not available">*</a>
       <a href="constraints/unification-derivation-f1-FAIL-c23.provn" title="unification-derivation-f1-FAIL-c23.provn">PROV-N</a>
       <a href="constraints/unification-derivation-f1-FAIL-c23.provx" title="unification-derivation-f1-FAIL-c23.provx">XML</a>
     </td>
@@ -1207,7 +1200,7 @@
     </td>
     <td>FAIL</td>
     <td>
-      <a href="constraints/unification-derivation-f2-FAIL-c23.ttl" title="unification-derivation-f2-FAIL-c23.ttl">RDF</a>
+      RDF<a href="#unavailable-rdf" title="Not available">*</a>
       <a href="constraints/unification-derivation-f2-FAIL-c23.provn" title="unification-derivation-f2-FAIL-c23.provn">PROV-N</a>
       <a href="constraints/unification-derivation-f2-FAIL-c23.provx" title="unification-derivation-f2-FAIL-c23.provx">XML</a>
     </td>
@@ -1219,7 +1212,7 @@
     </td>
     <td>FAIL</td>
     <td>
-      <a href="constraints/unification-derivation-f3-FAIL-c23.ttl" title="unification-derivation-f3-FAIL-c23.ttl">RDF</a>
+      RDF<a href="#unavailable-rdf" title="Not available">*</a>
       <a href="constraints/unification-derivation-f3-FAIL-c23.provn" title="unification-derivation-f3-FAIL-c23.provn">PROV-N</a>
       <a href="constraints/unification-derivation-f3-FAIL-c23.provx" title="unification-derivation-f3-FAIL-c23.provx">XML</a>
     </td>
@@ -1231,7 +1224,7 @@
     </td>
     <td>FAIL</td>
     <td>
-      <a href="constraints/unification-derivation-f4-FAIL-c23.ttl" title="unification-derivation-f4-FAIL-c23.ttl">RDF</a>
+      RDF<a href="#unavailable-rdf" title="Not available">*</a>
       <a href="constraints/unification-derivation-f4-FAIL-c23.provn" title="unification-derivation-f4-FAIL-c23.provn">PROV-N</a>
       <a href="constraints/unification-derivation-f4-FAIL-c23.provx" title="unification-derivation-f4-FAIL-c23.provx">XML</a>
     </td>
@@ -2250,6 +2243,8 @@
   </tr>
 </table>
   
+<p class="note" id="unavailable-rdf">These test cases cannot be represented in RDF since it contains statements with
+same identifier, which are collapsed into one when converted into triples.</p>
 
 </section>
 

--- a/testcases/rdf-tests.txt	Thu Jan 10 15:44:39 2013 +0100
+++ b/testcases/rdf-tests.txt	Thu Jan 10 17:06:54 2013 +0000
@@ -41,8 +41,6 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.ttl
@@ -77,10 +75,6 @@
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.ttl
 http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.ttl