--- a/testcases/constraints/type-f4-FAIL-c53.provn	Wed Dec 05 12:55:25 2012 +0000
+++ b/testcases/constraints/type-f4-FAIL-c53.provn	Wed Dec 05 13:40:55 2012 +0000
@@ -1,10 +1,8 @@
 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/>
+
 wasGeneratedBy(ex:gen;ex:e3,ex:a4,-)
 used(ex:gen;ex:a4,ex:e5,-)
+
 endDocument
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/type-f4-FAIL-c53.ttl	Wed Dec 05 13:40:55 2012 +0000
@@ -0,0 +1,13 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix ex: <http://example.org/> .
+
+ex:gen a prov:Generation ;
+	prov:entity ex:e3 .
+
+ex:a4 prov:qualifiedGeneration ex:gen .
+
+ex:gen a prov:Usage ;
+	prov:entity ex:ex5 .
+
+ex:a4 prov:qualifiedUsage ex:gen .