prov: changeset 5161:1ebcbec419ea

--- a/testcases/constraints/derivation1-PASS.provn	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-bundle
-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)
-wasGeneratedBy(ex:gen1;ex:e1,-,-)
-wasGeneratedBy(ex:gen2;ex:e2,-,-)
-wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-endBundle
\ No newline at end of file

--- a/testcases/constraints/derivation1-PASS.provx	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,19 +0,0 @@
-<?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:entity prov:id="ex:e1">
-        </prov:entity>
-        <prov:entity prov:id="ex:e2">
-        </prov:entity>
-
-	    <prov:wasGeneratedBy prov:id="ex:gen1">
-	      <prov:entity  prov:ref="ex:e1"/>
-            </prov:wasGeneratedBy>
-	    <prov:wasGeneratedBy prov:id="ex:gen2">
-	      <prov:entity  prov:ref="ex:e2"/>
-            </prov:wasGeneratedBy>
-            <prov:wasDerivedFrom prov:id="ex:der1">
-                <prov:generatedEntity prov:ref="ex:e2"/>
-                <prov:usedEntity prov:ref="ex:e1"/>
-            </prov:wasDerivedFrom>
-
-</prov:document>

--- a/testcases/constraints/derivation1-PASS.ttl	Tue Nov 27 00:18:34 2012 -0700
+++ /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:gen1 a prov:Generation .
-
-ex:e1 prov:qualifiedGeneration ex:gen1 .
-
-ex:gen2 a prov:Generation .
-
-ex:e2 prov:qualifiedGeneration ex:gen2 .
-
-ex:der1 a prov:Derivation ;
-	prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .

--- a/testcases/constraints/derivation2-FAIL-ordering.provn	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-bundle
-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)
-wasGeneratedBy(ex:gen1;ex:e1,-,-)
-wasGeneratedBy(ex:gen2;ex:e2,-,-)
-wasDerivedFrom(ex:der1;ex:e2, ex:e1)
-wasDerivedFrom(ex:der2;ex:e1, ex:e2)
-endBundle
\ No newline at end of file

--- a/testcases/constraints/derivation2-FAIL-ordering.provx	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-<?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:entity prov:id="ex:e1">
-        </prov:entity>
-        <prov:entity prov:id="ex:e2">
-        </prov:entity>
-
-	    <prov:wasGeneratedBy prov:id="ex:gen1">
-	      <prov:entity  prov:ref="ex:e1"/>
-            </prov:wasGeneratedBy>
-	    <prov:wasGeneratedBy prov:id="ex:gen2">
-	      <prov:entity  prov:ref="ex:e2"/>
-            </prov:wasGeneratedBy>
-            <prov:wasDerivedFrom prov:id="ex:der1">
-                <prov:generatedEntity prov:ref="ex:e2"/>
-                <prov:usedEntity prov:ref="ex:e1"/>
-            </prov:wasDerivedFrom>
-            <prov:wasDerivedFrom prov:id="ex:der2">
-                <prov:generatedEntity prov:ref="ex:e1"/>
-                <prov:usedEntity prov:ref="ex:e2"/>
-            </prov:wasDerivedFrom>
-
-</prov:document>

--- a/testcases/constraints/derivation2-FAIL-ordering.ttl	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +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:gen1 a prov:Generation .
-
-ex:e1 prov:qualifiedGeneration ex:gen1 .
-
-ex:gen2 a prov:Generation .
-
-ex:e2 prov:qualifiedGeneration ex:gen2 .
-
-ex:der1 a prov:Derivation ;
-	prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:der2 a prov:Derivation ;
-	prov:entity ex:e2 .
-
-ex:e1 prov:qualifiedDerivation ex:der2 .

--- a/testcases/constraints/derivation3-PASS.provn	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-bundle
-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)
-activity(ex:a1,-,-)
-wasGeneratedBy(ex:gen1;ex:e1,-,-)
-wasGeneratedBy(ex:gen2;ex:e2,-,-)
-used(ex:use1;ex:a1,ex:e1,-)
-wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a1, ex:gen2, ex:use1)
-endBundle
\ No newline at end of file

--- a/testcases/constraints/derivation3-PASS.provx	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-<?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:entity prov:id="ex:e1">
-        </prov:entity>
-        <prov:entity prov:id="ex:e2">
-        </prov:entity>
-        <prov:activity prov:id="ex:a1">
-        </prov:activity>
-
-
-	    <prov:wasGeneratedBy prov:id="ex:gen1">
-	      <prov:entity  prov:ref="ex:e1"/>
-            </prov:wasGeneratedBy>
-	    <prov:wasGeneratedBy prov:id="ex:gen2">
-	      <prov:entity  prov:ref="ex:e2"/>
-            </prov:wasGeneratedBy>
-	    <prov:used prov:id="ex:use1">
-	      <prov:activity prov:ref="ex:a1"/>
-	      <prov:entity  prov:ref="ex:e1"/>
-	    </prov:used>
-            <prov:wasDerivedFrom prov:id="ex:der1">
-                <prov:generatedEntity prov:ref="ex:e2"/>
-                <prov:usedEntity prov:ref="ex:e1"/>
-		<prov:activity prov:ref="ex:a1"/>
-		<prov:generation prov:ref="ex:gen2"/>
-		<prov:usage prov:ref="ex:use1"/>
-            </prov:wasDerivedFrom>
-
-</prov:document>

--- a/testcases/constraints/derivation3-PASS.ttl	Tue Nov 27 00:18:34 2012 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,35 +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:a1 a prov:Activity .
-
-ex:gen1 a prov:Generation .
-
-ex:e1 prov:qualifiedGeneration ex:gen1 .
-
-ex:gen2 a prov:Generation .
-
-ex:e2 prov:qualifiedGeneration ex:gen2 .
-
-ex:use1 a prov:Usage ;
-	prov:entity ex:e1 .
-
-ex:a1 prov:qualifiedUsage ex:use1 .
-
-ex:der1 a prov:Derivation ;
-	prov:entity ex:e1 .
-
-ex:e2 prov:qualifiedDerivation ex:der1 .
-
-ex:der1 prov:hadGeneration ex:gen2 ;
-	prov:hadUsage ex:use1 ;
-	prov:hadActivity ex:a1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,11 @@
+bundle
+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/>
+activity(ex:a1,-,-)
+wasStartedBy(ex:start1;ex:a1,-,-,-)
+wasEndedBy(ex:end1;ex:a1,-,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,14 @@
+<?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:activity prov:id="ex:a1">
+        </prov:activity>
+
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasStartedBy>
+	    <prov:wasEndedBy prov:id="ex:end1">
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasEndedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,17 @@
+@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:a1 a prov:Activity .
+
+ex:start1 a prov:Start .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:end1 a prov:End .
+
+ex:a1 prov:qualifiedEnd ex:end1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity2-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+wasStartedBy(ex:start1;ex:a1,-,-,-)
+used(ex:use1;ex:a1,ex:e1,-)
+wasEndedBy(ex:end1;ex:a1,-,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity2-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,21 @@
+<?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:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:entity prov:id="ex:e1">
+        </prov:entity>
+
+
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasStartedBy>
+	    <prov:used prov:id="ex:use1">
+	      <prov:activity prov:ref="ex:a1"/>
+	      <prov:entity prov:ref="ex:e1"/>
+	    </prov:used>
+	    <prov:wasEndedBy prov:id="ex:end1">
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasEndedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity2-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,24 @@
+@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:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:start1 a prov:Start .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:use1 a prov:Usage ;
+	prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedUsage ex:use1 .
+
+ex:end1 a prov:End .
+
+ex:a1 prov:qualifiedEnd ex:end1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity3-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+wasStartedBy(ex:start1;ex:a1,-,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+wasEndedBy(ex:end1;ex:a1,-,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity3-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,21 @@
+<?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:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:entity prov:id="ex:e1">
+        </prov:entity>
+
+
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasStartedBy>
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasGeneratedBy>
+	    <prov:wasEndedBy prov:id="ex:end1">
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasEndedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity3-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,24 @@
+@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:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:start1 a prov:Start .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:gen1 a prov:Generation ;
+	prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:end1 a prov:End .
+
+ex:a1 prov:qualifiedEnd ex:end1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity4-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+entity(ex:e2)
+wasStartedBy(ex:start1;ex:a1,ex:e1,-,-)
+wasStartedBy(ex:start2;ex:a1,ex:e2,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity4-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,21 @@
+<?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:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:a1"/>
+              <prov:trigger prov:ref="ex:e1"/>
+	    </prov:wasStartedBy>
+	    <prov:wasStartedBy prov:id="ex:start2">
+	      <prov:activity prov:ref="ex:a1"/>
+              <prov:trigger prov:ref="ex:e2"/>
+	    </prov:wasStartedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity4-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,23 @@
+@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:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:start1 a prov:Start ;
+	prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:start2 a prov:Start ;
+	prov:entity ex:e2 .
+
+ex:a1 prov:qualifiedStart ex:start2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity5-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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/>
+activity(ex:a1,-,-)
+entity(ex:e1)
+entity(ex:e2)
+wasEndedBy(ex:end1;ex:a1,ex:e1,-,-)
+wasEndedBy(ex:end2;ex:a1,ex:e2,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity5-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,21 @@
+<?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:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+
+
+	    <prov:wasEndedBy prov:id="ex:end1">
+	      <prov:activity prov:ref="ex:a1"/>
+              <prov:trigger prov:ref="ex:e1"/>
+	    </prov:wasEndedBy>
+	    <prov:wasEndedBy prov:id="ex:end2">
+	      <prov:activity prov:ref="ex:a1"/>
+              <prov:trigger prov:ref="ex:e2"/>
+	    </prov:wasEndedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-activity5-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,23 @@
+@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:a1 a prov:Activity .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:end1 a prov:End ;
+	prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedEnd ex:end1 .
+
+ex:end2 a prov:End ;
+	prov:entity ex:e2 .
+
+ex:a1 prov:qualifiedEnd ex:end2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,20 @@
+bundle
+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/>
+activity(ex:a,-,-)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+entity(ex:ag)
+agent(ex:ag)
+entity(ex:e1)
+entity(ex:e2)
+wasAssociatedWith(ex:assoc;ex:a,ex:ag,-)
+wasStartedBy(ex:start1;ex:a,ex:e1,-,-)
+wasGeneratedBy(ex:gen1;ex:ag,ex:a1,-)
+wasInvalidatedBy(ex:inv1;ex:ag,ex:a2,-)
+wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,52 @@
+<?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:activity prov:id="ex:a">
+        </prov:activity>
+        
+		<prov:activity prov:id="ex:a1">
+        </prov:activity>
+        
+		<prov:activity prov:id="ex:a2">
+        </prov:activity>
+        
+		<prov:entity prov:id="ex:ag">
+        </prov:entity>
+        
+		<prov:agent prov:id="ex:ag">
+        </prov:agent>
+        
+		<prov:entity prov:id="ex:e1">
+        </prov:entity>
+
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+        <prov:wasAssociatedWith prov:id="ex:assoc">
+	      <prov:activity prov:ref="ex:a"/>
+	      <prov:agent prov:ref="ex:ag"/>
+        </prov:wasAssociatedWith>
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:a"/>
+          <prov:trigger prov:ref="ex:e1"/>
+	    </prov:wasStartedBy>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity prov:ref="ex:ag"/>
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasGeneratedBy>
+
+
+	    <prov:wasInvalidatedBy prov:id="ex:inv1">
+	      <prov:entity  prov:ref="ex:ag"/>
+	      <prov:activity prov:ref="ex:a2"/>
+            </prov:wasInvalidatedBy>
+
+	    <prov:wasEndedBy prov:id="ex:end1">
+	      <prov:activity prov:ref="ex:a"/>
+          <prov:trigger prov:ref="ex:e2"/>
+	    </prov:wasEndedBy>
+
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,44 @@
+@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:a a prov:Activity .
+
+ex:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:ag a prov:Entity , prov:Agent .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:assoc a prov:Association ;
+	prov:agent ex:ag .
+
+ex:a prov:qualifiedAssociation ex:assoc .
+
+ex:start1 a prov:Start ;
+	prov:entity ex:e1 .
+
+ex:a prov:qualifiedStart ex:start1 .
+
+ex:gen1 a prov:Generation ;
+	prov:activity ex:a1 .
+
+ex:ag prov:qualifiedGeneration ex:gen1 .
+
+ex:inv1 a prov:Invalidation ;
+	prov:activity ex:a2 .
+
+ex:ag prov:qualifiedInvalidation ex:inv1 .
+
+ex:end1 a prov:End ;
+	prov:entity ex:e2 .
+
+ex:a prov:qualifiedEnd ex:end1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association2-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,20 @@
+bundle
+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/>
+activity(ex:a,-,-)
+entity(ex:ag)
+agent(ex:ag)
+entity(ex:e1)
+entity(ex:e2)
+entity(ex:e3)
+entity(ex:e4)
+wasAssociatedWith(ex:assoc;ex:a,ex:ag,-)
+wasStartedBy(ex:start1;ex:a,ex:e1,-,-)
+wasStartedBy(ex:start2;ex:ag,ex:e3,-,-)
+wasEndedBy(ex:end2;ex:ag,ex:e4,-,-)
+wasEndedBy(ex:end1;ex:a,ex:e2,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association2-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,49 @@
+<?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:activity prov:id="ex:a">
+        </prov:activity>
+        
+		<prov:entity prov:id="ex:ag">
+        </prov:entity>
+        
+		<prov:agent prov:id="ex:ag">
+        </prov:agent>
+        
+		<prov:entity prov:id="ex:e1">
+        </prov:entity>
+        
+		<prov:entity prov:id="ex:e2">
+        </prov:entity>
+        
+		<prov:entity prov:id="ex:e3">
+        </prov:entity>
+        
+		<prov:entity prov:id="ex:e4">
+        </prov:entity>
+
+        <prov:wasAssociatedWith prov:id="ex:assoc">
+	      <prov:activity prov:ref="ex:a"/>
+	      <prov:agent prov:ref="ex:ag"/>
+        </prov:wasAssociatedWith>
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:a"/>
+          <prov:trigger prov:ref="ex:e1"/>
+	    </prov:wasStartedBy>
+
+	    <prov:wasStartedBy prov:id="ex:start2">
+	      <prov:activity prov:ref="ex:ag"/>
+	      <prov:trigger prov:ref="ex:e3"/>
+	    </prov:wasStartedBy>
+
+	    <prov:wasEndedBy prov:id="ex:end2">
+	      <prov:activity prov:ref="ex:ag"/>
+	      <prov:trigger  prov:ref="ex:e4"/>
+        </prov:wasEndedBy>
+
+	    <prov:wasEndedBy prov:id="ex:end1">
+	      <prov:activity prov:ref="ex:a"/>
+          <prov:trigger prov:ref="ex:e2"/>
+	    </prov:wasEndedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-association2-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,46 @@
+@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:a a prov:Activity .
+
+ex:ag a prov:Entity , prov:Agent .
+
+ex:e1 a prov:Entity .
+
+ex:e2 a prov:Entity .
+
+ex:e3 a prov:Entity .
+
+ex:e4 a prov:Entity .
+
+ex:assoc a prov:Association ;
+	prov:agent ex:ag .
+
+ex:a prov:qualifiedAssociation ex:assoc .
+
+ex:start1 a prov:Start ;
+	prov:entity ex:e1 .
+
+ex:a prov:qualifiedStart ex:start1 .
+
+ex:ag a prov:Activity .
+
+ex:start2 a prov:Start ;
+	prov:entity ex:e3 .
+
+ex:ag prov:qualifiedStart ex:start2 .
+
+ex:end2 a prov:End ;
+	prov:entity ex:e4 .
+
+ex:ag prov:qualifiedEnd ex:end2 .
+
+ex:end1 a prov:End ;
+	prov:entity ex:e2 .
+
+ex:a prov:qualifiedEnd ex:end1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,16 @@
+bundle
+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/>
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+entity(ex:ag)
+agent(ex:ag)
+entity(ex:e)
+wasAttributedTo(ex:attr;ex:e, ex:ag)
+wasGeneratedBy(ex:gen1;ex:ag,ex:a1,-)
+wasGeneratedBy(ex:gen2;ex:e,ex:a2,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,37 @@
+<?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:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+
+        <prov:entity prov:id="ex:ag">
+        </prov:entity>
+	<prov:agent prov:id="ex:ag">
+	</prov:agent>
+        <prov:entity prov:id="ex:e">
+        </prov:entity>
+
+
+
+
+
+            <prov:wasAttributedTo prov:id="ex:attr">
+	      <prov:entity prov:ref="ex:e"/>
+	      <prov:agent prov:ref="ex:ag"/>
+            </prov:wasAttributedTo>
+
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity prov:ref="ex:ag"/>
+	      <prov:activity prov:ref="ex:a1"/>
+	    </prov:wasGeneratedBy>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity prov:ref="ex:e"/>
+	      <prov:activity prov:ref="ex:a2"/>
+	    </prov:wasGeneratedBy>
+
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,30 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:ag a prov:Entity , prov:Agent .
+
+ex:e a prov:Entity .
+
+ex:attr a prov:Attribution ;
+	prov:agent ex:ag .
+
+ex:e prov:qualifiedAttribution ex:attr .
+
+ex:gen1 a prov:Generation ;
+	prov:activity ex:a1 .
+
+ex:ag prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation ;
+	prov:activity ex:a2 .
+
+ex:e prov:qualifiedGeneration ex:gen2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution2-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,16 @@
+bundle
+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/>
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:ag,-,-)
+agent(ex:ag)
+entity(ex:e)
+wasAttributedTo(ex:attr;ex:e, ex:ag)
+wasStartedBy(ex:start1;ex:ag,-,ex:a1,-)
+wasGeneratedBy(ex:gen2;ex:e,ex:a2,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution2-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,37 @@
+<?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:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+
+        <prov:activity prov:id="ex:ag">
+        </prov:activity>
+	<prov:agent prov:id="ex:ag">
+	</prov:agent>
+        <prov:entity prov:id="ex:e">
+        </prov:entity>
+
+
+
+
+
+            <prov:wasAttributedTo prov:id="ex:attr">
+	      <prov:entity prov:ref="ex:e"/>
+	      <prov:agent prov:ref="ex:ag"/>
+            </prov:wasAttributedTo>
+
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:ag"/>
+	      <prov:starter prov:ref="ex:a1"/>
+	    </prov:wasStartedBy>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity prov:ref="ex:e"/>
+	      <prov:activity prov:ref="ex:a2"/>
+	    </prov:wasGeneratedBy>
+
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-attribution2-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,31 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:ag a prov:Activity , prov:Agent .
+
+ex:e a prov:Entity .
+
+ex:attr a prov:Attribution ;
+	prov:agent ex:ag .
+
+ex:e prov:qualifiedAttribution ex:attr .
+
+ex:start1 a prov:Start .
+
+ex:ag prov:qualifiedStart ex:start1 .
+
+ex:start1 prov:hadActivity ex:a1 .
+
+ex:gen2 a prov:Generation ;
+	prov:activity ex:a2 .
+
+ex:e prov:qualifiedGeneration ex:gen2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+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:ag1)
+agent(ex:ag1)
+entity(ex:ag2)
+agent(ex:ag2)
+actedOnBehalfOf(ex:del;ex:ag2,ex:ag1,-)
+wasGeneratedBy(ex:gen1;ex:ag1,-,-)
+wasInvalidatedBy(ex:inv2;ex:ag2,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,32 @@
+<?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:entity prov:id="ex:ag1">
+        </prov:entity>
+	<prov:agent prov:id="ex:ag1">
+	</prov:agent>
+
+        <prov:entity prov:id="ex:ag2">
+        </prov:entity>
+	<prov:agent prov:id="ex:ag2">
+	</prov:agent>
+
+
+
+
+
+            <prov:actedOnBehalfOf prov:id="ex:del">
+	      <prov:subordinate prov:ref="ex:ag2"/>
+	      <prov:responsible prov:ref="ex:ag1"/>
+            </prov:actedOnBehalfOf>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity prov:ref="ex:ag1"/>
+	    </prov:wasGeneratedBy>
+
+	    <prov:wasInvalidatedBy prov:id="ex:inv2">
+	      <prov:entity prov:ref="ex:ag2"/>
+	    </prov:wasInvalidatedBy>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,24 @@
+@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:ag1 a prov:Entity , prov:Agent .
+
+ex:ag2 a prov:Entity , prov:Agent .
+
+ex:del a prov:Delegation ;
+	prov:agent ex:ag1 .
+
+ex:ag2 prov:qualifiedDelegation ex:del .
+
+ex:gen1 a prov:Generation .
+
+ex:ag1 prov:qualifiedGeneration ex:gen1 .
+
+ex:inv2 a prov:Invalidation .
+
+ex:ag2 prov:qualifiedInvalidation ex:inv2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation2-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+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/>
+activity(ex:ag1,-,-)
+agent(ex:ag1)
+activity(ex:ag2,-,-)
+agent(ex:ag2)
+actedOnBehalfOf(ex:del;ex:ag2,ex:ag1,-)
+wasStartedBy(ex:start1;ex:ag1,-,-,-)
+wasEndedBy(ex:end2;ex:ag2,-,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation2-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,32 @@
+<?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:activity prov:id="ex:ag1">
+        </prov:activity>
+	<prov:agent prov:id="ex:ag1">
+	</prov:agent>
+
+        <prov:activity prov:id="ex:ag2">
+        </prov:activity>
+	<prov:agent prov:id="ex:ag2">
+	</prov:agent>
+
+
+
+
+
+            <prov:actedOnBehalfOf prov:id="ex:del">
+	      <prov:subordinate prov:ref="ex:ag2"/>
+	      <prov:responsible prov:ref="ex:ag1"/>
+            </prov:actedOnBehalfOf>
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:ag1"/>
+	    </prov:wasStartedBy>
+
+	    <prov:wasEndedBy prov:id="ex:end2">
+	      <prov:activity prov:ref="ex:ag2"/>
+	    </prov:wasEndedBy>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-delegation2-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,24 @@
+@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:ag1 a prov:Activity , prov:Agent .
+
+ex:ag2 a prov:Activity , prov:Agent .
+
+ex:del a prov:Delegation ;
+	prov:agent ex:ag1 .
+
+ex:ag2 prov:qualifiedDelegation ex:del .
+
+ex:start1 a prov:Start .
+
+ex:ag1 prov:qualifiedStart ex:start1 .
+
+ex:end2 a prov:End .
+
+ex:ag2 prov:qualifiedEnd ex:end2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,19 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity  prov:ref="ex:e1"/>
+            </prov:wasGeneratedBy>
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity  prov:ref="ex:e2"/>
+            </prov:wasGeneratedBy>
+            <prov:wasDerivedFrom prov:id="ex:der1">
+                <prov:generatedEntity prov:ref="ex:e2"/>
+                <prov:usedEntity prov:ref="ex:e1"/>
+            </prov:wasDerivedFrom>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,24 @@
+@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:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:der1 a prov:Derivation ;
+	prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation2-FAIL-c42.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+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)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1)
+wasDerivedFrom(ex:der2;ex:e1, ex:e2)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation2-FAIL-c42.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,23 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity  prov:ref="ex:e1"/>
+            </prov:wasGeneratedBy>
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity  prov:ref="ex:e2"/>
+            </prov:wasGeneratedBy>
+            <prov:wasDerivedFrom prov:id="ex:der1">
+                <prov:generatedEntity prov:ref="ex:e2"/>
+                <prov:usedEntity prov:ref="ex:e1"/>
+            </prov:wasDerivedFrom>
+            <prov:wasDerivedFrom prov:id="ex:der2">
+                <prov:generatedEntity prov:ref="ex:e1"/>
+                <prov:usedEntity prov:ref="ex:e2"/>
+            </prov:wasDerivedFrom>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation2-FAIL-c42.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,29 @@
+@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:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:der1 a prov:Derivation ;
+	prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .
+
+ex:der2 a prov:Derivation ;
+	prov:entity ex:e2 .
+
+ex:e1 prov:qualifiedDerivation ex:der2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation3-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+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)
+activity(ex:a1,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+used(ex:use1;ex:a1,ex:e1,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1, ex:a1, ex:gen2, ex:use1)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation3-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,29 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+        <prov:activity prov:id="ex:a1">
+        </prov:activity>
+
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity  prov:ref="ex:e1"/>
+            </prov:wasGeneratedBy>
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity  prov:ref="ex:e2"/>
+            </prov:wasGeneratedBy>
+	    <prov:used prov:id="ex:use1">
+	      <prov:activity prov:ref="ex:a1"/>
+	      <prov:entity  prov:ref="ex:e1"/>
+	    </prov:used>
+            <prov:wasDerivedFrom prov:id="ex:der1">
+                <prov:generatedEntity prov:ref="ex:e2"/>
+                <prov:usedEntity prov:ref="ex:e1"/>
+		<prov:activity prov:ref="ex:a1"/>
+		<prov:generation prov:ref="ex:gen2"/>
+		<prov:usage prov:ref="ex:use1"/>
+            </prov:wasDerivedFrom>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-derivation3-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,35 @@
+@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:a1 a prov:Activity .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:use1 a prov:Usage ;
+	prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedUsage ex:use1 .
+
+ex:der1 a prov:Derivation ;
+	prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .
+
+ex:der1 prov:hadGeneration ex:gen2 ;
+	prov:hadUsage ex:use1 ;
+	prov:hadActivity ex:a1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-ends1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,18 @@
+bundle
+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)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+activity(ex:a4,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,ex:a3,-)
+wasEndedBy(ex:end2;ex:a2,ex:e2,-,-)
+wasEndedBy(ex:end1;ex:a1,ex:e1,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a4,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-ends1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,37 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+        <prov:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+        <prov:activity prov:id="ex:a3">
+        </prov:activity>
+        <prov:activity prov:id="ex:a4">
+        </prov:activity>
+
+
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity  prov:ref="ex:e2"/>
+	      <prov:activity prov:ref="ex:a3"/>
+            </prov:wasGeneratedBy>
+	    <prov:wasEndedBy prov:id="ex:end2">
+	      <prov:activity prov:ref="ex:a2"/>
+	      <prov:trigger prov:ref="ex:e2"/>
+	    </prov:wasEndedBy>
+
+
+	    <prov:wasEndedBy prov:id="ex:end1">
+	      <prov:activity prov:ref="ex:a1"/>
+	      <prov:trigger prov:ref="ex:e1"/>
+	    </prov:wasEndedBy>
+	    <prov:wasInvalidatedBy prov:id="ex:inv1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a4"/>
+            </prov:wasInvalidatedBy>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-ends1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,39 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:a4 a prov:Activity .
+
+ex:gen2 a prov:Generation ;
+	prov:activity ex:a3 .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:end2 a prov:End ;
+	prov:entity ex:e2 .
+
+ex:a2 prov:qualifiedEnd ex:end2 .
+
+ex:end1 a prov:End ;
+	prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedEnd ex:end1 .
+
+ex:inv1 a prov:Invalidation ;
+	prov:activity ex:a4 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,15 @@
+bundle
+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)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+used(ex:use1;ex:a2,ex:e1,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a3,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,25 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+        <prov:activity prov:id="ex:a3">
+        </prov:activity>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a1"/>
+            </prov:wasGeneratedBy>
+	    <prov:used prov:id="ex:use1">
+	      <prov:activity prov:ref="ex:a2"/>
+	      <prov:entity  prov:ref="ex:e1"/>
+            </prov:used>
+	    <prov:wasInvalidatedBy prov:id="ex:inv1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a3"/>
+            </prov:wasInvalidatedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,30 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:gen1 a prov:Generation ;
+	prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:use1 a prov:Usage ;
+	prov:entity ex:e1 .
+
+ex:a2 prov:qualifiedUsage ex:use1 .
+
+ex:inv1 a prov:Invalidation ;
+	prov:activity ex:a3 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity2-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+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)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a3,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity2-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,21 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+        <prov:activity prov:id="ex:a3">
+        </prov:activity>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a1"/>
+            </prov:wasGeneratedBy>
+	    <prov:wasInvalidatedBy prov:id="ex:inv1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a3"/>
+            </prov:wasInvalidatedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity2-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,25 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:gen1 a prov:Generation ;
+	prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:inv1 a prov:Invalidation ;
+	prov:activity ex:a3 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity3-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,ex:a1,-)
+wasGeneratedBy(ex:gen2;ex:e1,ex:a2,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity3-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,19 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+
+	    <prov:wasGeneratedBy prov:id="ex:gen1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a1"/>
+            </prov:wasGeneratedBy>
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a2"/>
+            </prov:wasGeneratedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity3-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,23 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:gen1 a prov:Generation ;
+	prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:gen2 a prov:Generation ;
+	prov:activity ex:a2 .
+
+ex:e1 prov:qualifiedGeneration ex:gen2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity4-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a1,-)
+wasInvalidatedBy(ex:inv2;ex:e1,ex:a2,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity4-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,19 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+
+	    <prov:wasInvalidatedBy prov:id="ex:inv1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a1"/>
+            </prov:wasInvalidatedBy>
+	    <prov:wasInvalidatedBy prov:id="ex:inv2">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a2"/>
+            </prov:wasInvalidatedBy>
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-entity4-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,23 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:inv1 a prov:Invalidation ;
+	prov:activity ex:a1 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .
+
+ex:inv2 a prov:Invalidation ;
+	prov:activity ex:a2 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv2 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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)
+specializationOf(ex:e2,ex:e1)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,21 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+            <prov:specializationOf>
+                <prov:specializedEntity prov:ref="ex:e2"/>
+                <prov:generalEntity prov:ref="ex:e1"/>
+            </prov:specializationOf>
+
+            <prov:wasGeneratedBy prov:id="ex:gen2">
+                <prov:entity prov:ref="ex:e2"/>
+            </prov:wasGeneratedBy>
+            <prov:wasGeneratedBy prov:id="ex:gen1">
+                <prov:entity prov:ref="ex:e1"/>
+            </prov:wasGeneratedBy>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,20 @@
+@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 ;
+	prov:specializationOf ex:e1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization2-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,13 @@
+bundle
+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)
+specializationOf(ex:e2,ex:e1)
+wasInvalidatedBy(ex:inv2;ex:e2,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,-,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization2-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,21 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+            <prov:specializationOf>
+                <prov:specializedEntity prov:ref="ex:e2"/>
+                <prov:generalEntity prov:ref="ex:e1"/>
+            </prov:specializationOf>
+
+            <prov:wasInvalidatedBy prov:id="ex:inv2">
+                <prov:entity prov:ref="ex:e2"/>
+            </prov:wasInvalidatedBy>
+            <prov:wasInvalidatedBy prov:id="ex:inv1">
+                <prov:entity prov:ref="ex:e1"/>
+            </prov:wasInvalidatedBy>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization2-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,20 @@
+@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 ;
+	prov:specializationOf ex:e1 .
+
+ex:inv2 a prov:Invalidation .
+
+ex:e2 prov:qualifiedInvalidation ex:inv2 .
+
+ex:inv1 a prov:Invalidation .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization3-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+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)
+specializationOf(ex:e2,ex:e1)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasDerivedFrom(ex:der1;ex:e2, ex:e1)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization3-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,27 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+            <prov:specializationOf>
+                <prov:specializedEntity prov:ref="ex:e2"/>
+                <prov:generalEntity prov:ref="ex:e1"/>
+            </prov:specializationOf>
+
+            <prov:wasGeneratedBy prov:id="ex:gen2">
+                <prov:entity prov:ref="ex:e2"/>
+            </prov:wasGeneratedBy>
+
+            <prov:wasGeneratedBy prov:id="ex:gen1">
+                <prov:entity prov:ref="ex:e1"/>
+            </prov:wasGeneratedBy>
+
+            <prov:wasDerivedFrom prov:id="ex:der1">
+                <prov:generatedEntity prov:ref="ex:e2"/>
+                <prov:usedEntity prov:ref="ex:e1"/>
+            </prov:wasDerivedFrom>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization3-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,25 @@
+@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 ;
+	prov:specializationOf ex:e1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:der1 a prov:Derivation ;
+	prov:entity ex:e1 .
+
+ex:e2 prov:qualifiedDerivation ex:der1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,14 @@
+bundle
+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)
+specializationOf(ex:e2,ex:e1)
+wasGeneratedBy(ex:gen2;ex:e2,-,-)
+wasGeneratedBy(ex:gen1;ex:e1,-,-)
+wasDerivedFrom(ex:der1;ex:e1, ex:e2)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,27 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+
+            <prov:specializationOf>
+                <prov:specializedEntity prov:ref="ex:e2"/>
+                <prov:generalEntity prov:ref="ex:e1"/>
+            </prov:specializationOf>
+
+            <prov:wasGeneratedBy prov:id="ex:gen2">
+                <prov:entity prov:ref="ex:e2"/>
+            </prov:wasGeneratedBy>
+
+            <prov:wasGeneratedBy prov:id="ex:gen1">
+                <prov:entity prov:ref="ex:e1"/>
+            </prov:wasGeneratedBy>
+
+            <prov:wasDerivedFrom prov:id="ex:der1">
+                <prov:generatedEntity prov:ref="ex:e1"/>
+                <prov:usedEntity prov:ref="ex:e2"/>
+            </prov:wasDerivedFrom>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-specialization4-FAIL-c42-c45.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,25 @@
+@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 ;
+	prov:specializationOf ex:e1 .
+
+ex:gen2 a prov:Generation .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:gen1 a prov:Generation .
+
+ex:e1 prov:qualifiedGeneration ex:gen1 .
+
+ex:der1 a prov:Derivation ;
+	prov:entity ex:e2 .
+
+ex:e1 prov:qualifiedDerivation ex:der1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-starts1-PASS.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,18 @@
+bundle
+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)
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+activity(ex:a3,-,-)
+activity(ex:a4,-,-)
+wasGeneratedBy(ex:gen2;ex:e2,ex:a3,-)
+wasStartedBy(ex:start2;ex:a2,ex:e2,-,-)
+wasStartedBy(ex:start1;ex:a1,ex:e1,-,-)
+wasInvalidatedBy(ex:inv1;ex:e1,ex:a4,-)
+endBundle
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-starts1-PASS.provx	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,37 @@
+<?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:entity prov:id="ex:e1">
+        </prov:entity>
+        <prov:entity prov:id="ex:e2">
+        </prov:entity>
+        <prov:activity prov:id="ex:a1">
+        </prov:activity>
+        <prov:activity prov:id="ex:a2">
+        </prov:activity>
+        <prov:activity prov:id="ex:a3">
+        </prov:activity>
+        <prov:activity prov:id="ex:a4">
+        </prov:activity>
+
+
+	    <prov:wasGeneratedBy prov:id="ex:gen2">
+	      <prov:entity  prov:ref="ex:e2"/>
+	      <prov:activity prov:ref="ex:a3"/>
+            </prov:wasGeneratedBy>
+	    <prov:wasStartedBy prov:id="ex:start2">
+	      <prov:activity prov:ref="ex:a2"/>
+	      <prov:trigger prov:ref="ex:e2"/>
+	    </prov:wasStartedBy>
+
+
+	    <prov:wasStartedBy prov:id="ex:start1">
+	      <prov:activity prov:ref="ex:a1"/>
+	      <prov:trigger prov:ref="ex:e1"/>
+	    </prov:wasStartedBy>
+	    <prov:wasInvalidatedBy prov:id="ex:inv1">
+	      <prov:entity  prov:ref="ex:e1"/>
+	      <prov:activity prov:ref="ex:a4"/>
+            </prov:wasInvalidatedBy>
+
+
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-starts1-PASS.ttl	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,39 @@
+@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:a1 a prov:Activity .
+
+ex:a2 a prov:Activity .
+
+ex:a3 a prov:Activity .
+
+ex:a4 a prov:Activity .
+
+ex:gen2 a prov:Generation ;
+	prov:activity ex:a3 .
+
+ex:e2 prov:qualifiedGeneration ex:gen2 .
+
+ex:start2 a prov:Start ;
+	prov:entity ex:e2 .
+
+ex:a2 prov:qualifiedStart ex:start2 .
+
+ex:start1 a prov:Start ;
+	prov:entity ex:e1 .
+
+ex:a1 prov:qualifiedStart ex:start1 .
+
+ex:inv1 a prov:Invalidation ;
+	prov:activity ex:a4 .
+
+ex:e1 prov:qualifiedInvalidation ex:inv1 .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/test.provn	Tue Nov 27 11:20:39 2012 +0000
@@ -0,0 +1,38 @@
+bundle
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+prefix  <http://example.org/#>
+activity(:publicationActivity1123,2011-07-16T01:01:01Z,2011-07-16T01:52:02Z)
+agent(:postEditor,[foaf:name = "Post Editor 3000" %% xsd:string])
+agent(:derek,[foaf:givenName = "Derek" %% xsd:string, foaf:mbox = "mailto:derek@example.org" %% xsd:anyURI])
+agent(:government)
+agent(:national_newspaper_inc,[foaf:name = "National Newspaper, Inc." %% xsd:string])
+entity(:post9821v2,[prov:location="org.openprovenance.prov.xml.AnyRef@2d342ba4[
+  ref={http://example.org/#}more-crime-happens-in-cities
+]" %% prov:unknownLiteral, my:snapshotContent = "http://example.org/#postContent1" %% xsd:anyURI])
+entity(:post9821v1,[prov:location="org.openprovenance.prov.xml.AnyRef@32ef2c60[
+  ref={http://example.org/#}more-crime-happens-in-cities
+]" %% prov:unknownLiteral, my:snapshotContent = "http://example.org/#postContent0" %% xsd:anyURI, sioc:title = "More crime happens in cities" %% xsd:string])
+entity(:aggregatedByRegions,[prov:location="org.openprovenance.prov.xml.AnyRef@744a6cbf[
+  ref={file://Users/}aggr.txt
+]" %% prov:unknownLiteral])
+entity(:more-crime-happens-in-cities,[sioc:latest_version = "http://example.org/#post9821v2" %% xsd:anyURI, sioc:previous_version = "http://example.org/#post9821v1" %% xsd:anyURI])
+entity(:crimeData)
+entity(:prov-o-ex2-PASS,[ex:involvedUser = "http://example.org/#derek" %% xsd:anyURI])
+alternateOf(:post9821v2,:post9821v1)
+wasAttributedTo(:post9821v2, :derek)
+wasGeneratedBy(:post9821v1,:publicationActivity1123,-)
+wasAttributedTo(:post9821v1, :derek)
+wasAssociatedWith(:publicationActivity1123,:derek,-)
+wasAssociatedWith(:publicationActivity1123,:postEditor,-)
+used(:publicationActivity1123,:aggregatedByRegions,-)
+wasGeneratedBy(:post9821v1,:publicationActivity1123,-)
+wasStartedBy(:publicationActivity1123,:derek,-,-)
+wasEndedBy(:publicationActivity1123,:derek,-,-)
+actedOnBehalfOf(:derek,:national_newspaper_inc,-)
+wasAttributedTo(:crimeData, :government)
+wasAttributedTo(:prov-o-ex2-PASS, :postEditor)
+endBundle
\ No newline at end of file

--- a/testcases/process.html	Tue Nov 27 00:18:34 2012 -0700
+++ b/testcases/process.html	Tue Nov 27 11:20:39 2012 +0000
@@ -225,7 +225,7 @@
 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 the <b>fail.txt</b>
+the test cases that have been successfully validated, and <b>fail.txt</b>
 MUST contain the identifiers of all those that have failed the validation.
 Test cases that are not supported by the implementation SHOULD NOT be included
 in either of the files.</p>
@@ -278,35 +278,249 @@
     <td><b>Download links</b></td>
   </tr>
   <tr>
-    <td><b>derivation1-PASS</b></td>
+    <td><b>ordering-activity1-PASS</b></td>
     <td>&nbsp;</td>
-    <td>Pass</td>
-    <td>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.provn" title="derivation1-PASS.provn">PROV-N</a>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.provx" title="derivation1-PASS.provx">PROV-XML</a>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation1-PASS.ttl" title="derivation1-PASS.ttl">PROV-RDF</a>
-    </td>
-  </tr>
-  <tr>
-    <td><b>derivation2-FAIL-ordering</b></td>
-    <td>ordering</td>
-    <td>Fail</td>
+    <td>PASS</td>
     <td>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.provn" title="derivation2-FAIL-ordering.provn">PROV-N</a>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.provx" title="derivation2-FAIL-ordering.provx">PROV-XML</a>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation2-FAIL-ordering.ttl" title="derivation2-FAIL-ordering.ttl">PROV-RDF</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS.provn" title="ordering-activity1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS.provx" title="ordering-activity1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS.ttl" title="ordering-activity1-PASS.ttl">PROV-RDF</a>
     </td>
-  </tr>
+  </tr> 
   <tr>
-    <td><b>derivation3-PASS</b></td>
+    <td><b>ordering-activity2-PASS</b></td>
     <td>&nbsp;</td>
-    <td>Pass</td>
+    <td>PASS</td>
     <td>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.provn" title="derivation3-PASS.provn">PROV-N</a>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.provx" title="derivation3-PASS.provx">PROV-XML</a>
-      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/derivation3-PASS.ttl" title="derivation3-PASS.ttl">PROV-RDF</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS.provn" title="ordering-activity2-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS.provx" title="ordering-activity2-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS.ttl" title="ordering-activity2-PASS.ttl">PROV-RDF</a>
     </td>
-  </tr>
+  </tr> 
+  <tr>
+    <td><b>ordering-activity3-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS.provn" title="ordering-activity3-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS.provx" title="ordering-activity3-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS.ttl" title="ordering-activity3-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-activity4-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS.provn" title="ordering-activity4-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS.provx" title="ordering-activity4-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS.ttl" title="ordering-activity4-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-activity5-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS.provn" title="ordering-activity5-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS.provx" title="ordering-activity5-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS.ttl" title="ordering-activity5-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-association1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS.provn" title="ordering-association1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS.provx" title="ordering-association1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS.ttl" title="ordering-association1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-association2-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS.provn" title="ordering-association2-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS.provx" title="ordering-association2-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS.ttl" title="ordering-association2-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-attribution1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS.provn" title="ordering-attribution1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS.provx" title="ordering-attribution1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS.ttl" title="ordering-attribution1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-attribution2-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS.provn" title="ordering-attribution2-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS.provx" title="ordering-attribution2-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS.ttl" title="ordering-attribution2-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-delegation1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS.provn" title="ordering-delegation1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS.provx" title="ordering-delegation1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS.ttl" title="ordering-delegation1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-delegation2-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS.provn" title="ordering-delegation2-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS.provx" title="ordering-delegation2-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS.ttl" title="ordering-delegation2-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-derivation1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS.provn" title="ordering-derivation1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS.provx" title="ordering-derivation1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS.ttl" title="ordering-derivation1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><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">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.provn" title="ordering-derivation2-FAIL-c42.provn">PROV-N</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">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.ttl" title="ordering-derivation2-FAIL-c42.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-derivation3-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS.provn" title="ordering-derivation3-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS.provx" title="ordering-derivation3-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS.ttl" title="ordering-derivation3-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-ends1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS.provn" title="ordering-ends1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS.provx" title="ordering-ends1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS.ttl" title="ordering-ends1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-entity1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS.provn" title="ordering-entity1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS.provx" title="ordering-entity1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS.ttl" title="ordering-entity1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-entity2-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS.provn" title="ordering-entity2-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS.provx" title="ordering-entity2-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS.ttl" title="ordering-entity2-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-entity3-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS.provn" title="ordering-entity3-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS.provx" title="ordering-entity3-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS.ttl" title="ordering-entity3-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-entity4-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS.provn" title="ordering-entity4-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS.provx" title="ordering-entity4-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS.ttl" title="ordering-entity4-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-specialization1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS.provn" title="ordering-specialization1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS.provx" title="ordering-specialization1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS.ttl" title="ordering-specialization1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-specialization2-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS.provn" title="ordering-specialization2-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS.provx" title="ordering-specialization2-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS.ttl" title="ordering-specialization2-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-specialization3-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS.provn" title="ordering-specialization3-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS.provx" title="ordering-specialization3-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS.ttl" title="ordering-specialization3-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><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">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">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.provn" title="ordering-specialization4-FAIL-c42-c45.provn">PROV-N</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">PROV-XML</a>
+      <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">PROV-RDF</a>
+    </td>
+  </tr> 
+  <tr>
+    <td><b>ordering-starts1-PASS</b></td>
+    <td>&nbsp;</td>
+    <td>PASS</td>
+    <td>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS.provn" title="ordering-starts1-PASS.provn">PROV-N</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS.provx" title="ordering-starts1-PASS.provx">PROV-XML</a>
+      <a href="http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS.ttl" title="ordering-starts1-PASS.ttl">PROV-RDF</a>
+    </td>
+  </tr> 
+
   <tr>
     <td><b>w3c-publication1-PASS</b></td>
     <td>&nbsp;</td>

author	T Dong Huynh <tdh@ecs.soton.ac.uk>
	Tue, 27 Nov 2012 11:20:39 +0000
changeset 5161	1ebcbec419ea
parent 5160	3a1b13c1da21
child 5163	5818e477cf80

testcases/constraints/derivation1-PASS.provn		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation1-PASS.provx		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation1-PASS.ttl		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation2-FAIL-ordering.provn		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation2-FAIL-ordering.provx		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation2-FAIL-ordering.ttl		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation3-PASS.provn		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation3-PASS.provx		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/derivation3-PASS.ttl		file \| annotate \| diff \| comparison \| revisions
testcases/constraints/ordering-activity1-PASS.provn
testcases/constraints/ordering-activity1-PASS.provx
testcases/constraints/ordering-activity1-PASS.ttl
testcases/constraints/ordering-activity2-PASS.provn
testcases/constraints/ordering-activity2-PASS.provx
testcases/constraints/ordering-activity2-PASS.ttl
testcases/constraints/ordering-activity3-PASS.provn
testcases/constraints/ordering-activity3-PASS.provx
testcases/constraints/ordering-activity3-PASS.ttl
testcases/constraints/ordering-activity4-PASS.provn
testcases/constraints/ordering-activity4-PASS.provx
testcases/constraints/ordering-activity4-PASS.ttl
testcases/constraints/ordering-activity5-PASS.provn
testcases/constraints/ordering-activity5-PASS.provx
testcases/constraints/ordering-activity5-PASS.ttl
testcases/constraints/ordering-association1-PASS.provn
testcases/constraints/ordering-association1-PASS.provx
testcases/constraints/ordering-association1-PASS.ttl
testcases/constraints/ordering-association2-PASS.provn
testcases/constraints/ordering-association2-PASS.provx
testcases/constraints/ordering-association2-PASS.ttl
testcases/constraints/ordering-attribution1-PASS.provn
testcases/constraints/ordering-attribution1-PASS.provx
testcases/constraints/ordering-attribution1-PASS.ttl
testcases/constraints/ordering-attribution2-PASS.provn
testcases/constraints/ordering-attribution2-PASS.provx
testcases/constraints/ordering-attribution2-PASS.ttl
testcases/constraints/ordering-delegation1-PASS.provn
testcases/constraints/ordering-delegation1-PASS.provx
testcases/constraints/ordering-delegation1-PASS.ttl
testcases/constraints/ordering-delegation2-PASS.provn
testcases/constraints/ordering-delegation2-PASS.provx
testcases/constraints/ordering-delegation2-PASS.ttl
testcases/constraints/ordering-derivation1-PASS.provn
testcases/constraints/ordering-derivation1-PASS.provx
testcases/constraints/ordering-derivation1-PASS.ttl
testcases/constraints/ordering-derivation2-FAIL-c42.provn
testcases/constraints/ordering-derivation2-FAIL-c42.provx
testcases/constraints/ordering-derivation2-FAIL-c42.ttl
testcases/constraints/ordering-derivation3-PASS.provn
testcases/constraints/ordering-derivation3-PASS.provx
testcases/constraints/ordering-derivation3-PASS.ttl
testcases/constraints/ordering-ends1-PASS.provn
testcases/constraints/ordering-ends1-PASS.provx
testcases/constraints/ordering-ends1-PASS.ttl
testcases/constraints/ordering-entity1-PASS.provn
testcases/constraints/ordering-entity1-PASS.provx
testcases/constraints/ordering-entity1-PASS.ttl
testcases/constraints/ordering-entity2-PASS.provn
testcases/constraints/ordering-entity2-PASS.provx
testcases/constraints/ordering-entity2-PASS.ttl
testcases/constraints/ordering-entity3-PASS.provn
testcases/constraints/ordering-entity3-PASS.provx
testcases/constraints/ordering-entity3-PASS.ttl
testcases/constraints/ordering-entity4-PASS.provn
testcases/constraints/ordering-entity4-PASS.provx
testcases/constraints/ordering-entity4-PASS.ttl
testcases/constraints/ordering-specialization1-PASS.provn
testcases/constraints/ordering-specialization1-PASS.provx
testcases/constraints/ordering-specialization1-PASS.ttl
testcases/constraints/ordering-specialization2-PASS.provn
testcases/constraints/ordering-specialization2-PASS.provx
testcases/constraints/ordering-specialization2-PASS.ttl
testcases/constraints/ordering-specialization3-PASS.provn
testcases/constraints/ordering-specialization3-PASS.provx
testcases/constraints/ordering-specialization3-PASS.ttl
testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn
testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx
testcases/constraints/ordering-specialization4-FAIL-c42-c45.ttl
testcases/constraints/ordering-starts1-PASS.provn
testcases/constraints/ordering-starts1-PASS.provx
testcases/constraints/ordering-starts1-PASS.ttl
testcases/constraints/test.provn
testcases/process.html