--- a/testcases/constraints/type-collection-FAIL-c56.provn	Wed Dec 05 08:24:53 2012 +0000
+++ b/testcases/constraints/type-collection-FAIL-c56.provn	Wed Dec 05 11:26:08 2012 +0000
@@ -1,11 +1,9 @@
 document
-prefix xsd <http://www.w3.org/2001/XMLSchema>
-prefix prim <http://openprovenance.org/primitives#>
+
 prefix ex <http://example.org/>
-prefix prov <http://www.w3.org/ns/prov#>
-prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
-prefix pc1 <http://www.ipaw.info/pc1/>
+
 entity(ex:e1)
 entity(ex:e2,[prov:type='prov:EmptyCollection'])
 hadMember(ex:e2,ex:e1)
+
 endDocument
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/type-collection-FAIL-c56.ttl	Wed Dec 05 11:26:08 2012 +0000
@@ -0,0 +1,11 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity ;
+	a prov:EmptyCollection;
+
+	prov:hadMember ex:e1;
+.