--- a/testcases/constraints/unification-influence-s1-PASS-c23.provn	Wed Dec 05 15:25:25 2012 +0000
+++ b/testcases/constraints/unification-influence-s1-PASS-c23.provn	Wed Dec 05 16:59:10 2012 +0000
@@ -1,10 +1,7 @@
 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/>
-wasInfluencedBy(ex:infl1;ex:x1, ex:x2)
-wasInfluencedBy(ex:infl1;ex:x1, ex:x2)
+
+  prefix ex <http://example.org/>
+
+  wasInfluencedBy(ex:infl1;ex:x1, ex:x2)
+  wasInfluencedBy(ex:infl1;ex:x1, ex:x2)
 endDocument
\ No newline at end of file

--- a/testcases/constraints/unification-influence-s1-PASS-c23.provx	Wed Dec 05 15:25:25 2012 +0000
+++ b/testcases/constraints/unification-influence-s1-PASS-c23.provx	Wed Dec 05 16:59:10 2012 +0000
@@ -1,16 +1,11 @@
 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
 <prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:prim="http://openprovenance.org/primitives#" xmlns:ex="http://example.org/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
-        
-        
-        
-
-            <prov:wasInfluencedBy prov:id="ex:infl1">
-                <prov:influencee prov:ref="ex:x1"/>
-                <prov:influencer prov:ref="ex:x2"/>
-            </prov:wasInfluencedBy>
-            <prov:wasInfluencedBy prov:id="ex:infl1">
-                <prov:influencee prov:ref="ex:x1"/>
-                <prov:influencer prov:ref="ex:x2"/>
-            </prov:wasInfluencedBy>
-
+    <prov:wasInfluencedBy prov:id="ex:infl1">
+        <prov:influencee prov:ref="ex:x1"/>
+        <prov:influencer prov:ref="ex:x2"/>
+    </prov:wasInfluencedBy>
+    <prov:wasInfluencedBy prov:id="ex:infl1">
+        <prov:influencee prov:ref="ex:x1"/>
+        <prov:influencer prov:ref="ex:x2"/>
+    </prov:wasInfluencedBy>
 </prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/unification-influence-s1-PASS-c23.ttl	Wed Dec 05 16:59:10 2012 +0000
@@ -0,0 +1,17 @@
+@prefix prov: <http://www.w3.org/ns/prov#> .
+@prefix ex:   <http://example.com/> .
+
+
+ex:x1 prov:qualifiedInfluence ex:infl1.
+
+ex:infl1
+	a prov:Influence;
+	prov:influencer ex:x2
+.
+
+ex:x1 prov:qualifiedInfluence ex:infl1.
+
+ex:infl1
+	a prov:Influence;
+	prov:influencer ex:x2
+.
\ No newline at end of file