--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-class-Collection-PASS.provn	Wed Dec 05 22:13:16 2012 +0000
@@ -0,0 +1,34 @@
+document
+  default <http://example.com/>
+  prefix ex <http://example.com/ontology#>
+  prefix dcterms <http://purl.org/dc/terms/>
+  prefix dbpedia <http://dbpedia.org/resource/>
+  prefix twc <http://purl.org/twc/page/>
+
+  entity(todays-us-supreme-court, [prov:type='prov:Collection', prov:type='RobertsCourt', dcterms:description='copied-string'])
+  wasGeneratedBy(todays-us-supreme-court, -, [dcterms:date="2012" %% xsd:gYear])
+  
+  hadMember(todays-us-supreme-court, dbpedia:John_Glover_Roberts,_Jr.)
+  hadMember(todays-us-supreme-court, dbpedia:Antonin_Scalia)
+  hadMember(todays-us-supreme-court, dbpedia:Anthony_Kennedy)
+  hadMember(todays-us-supreme-court, dbpedia:Clarence_Thomas)
+  hadMember(todays-us-supreme-court, dbpedia:Ruth_Bader_Ginsburg)
+  hadMember(todays-us-supreme-court, dbpedia:Stephen_Breyer)
+  hadMember(todays-us-supreme-court, dbpedia:Samuel_Alito)
+  hadMember(todays-us-supreme-court, dbpedia:Sonia_Sotomayor)
+  hadMember(todays-us-supreme-court, dbpedia:Elena_Kagan)
+
+  wasDerivedFrom(todays-us-supreme-court, the-first-us-supreme-court)
+
+  entity(copied-string, [prov:value="2010–present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg\nS. Breyer S. Alito S. Sotomayor E. Kagan"];
+  entity(page-by-seat, [prov:type='ex:WikipediaPage'])
+  entity(page-by-composition, [prov:type='ex:WikipediaPage'])
+  
+  wasQuotedFrom(copied-string, page-by-composition)
+  specializationOf(page-by-seat, twc:wikipedia/us-supreme-court-by-seat)
+  wasGeneratedBy(page-by-seat, -, 2011-08-31T12:51)
+
+  specializationOf(page-by-composition, twc:wikipedia/us-supreme-court-by-composition)
+  wasGeneratedBy(page-by-composition, -, 2012-05-16T14:33)
+
+endDocument
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-class-Collection-PASS.provx	Wed Dec 05 22:13:16 2012 +0000
@@ -0,0 +1,58 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:ns2="http://openprovenance.org/collection#" xmlns:ns3="http://openprovenance.org/validation#" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:prim="http://openprovenance.org/primitives#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pc1="http://www.ipaw.info/pc1/">
+    <prov:entity xmlns="http://example.com/" prov:id="todays-us-supreme-court">
+        <prov:type xsi:type="xsd:QName">prov:Collection</prov:type>
+        <prov:type xsi:type="xsd:QName">RobertsCourt</prov:type>
+        <dcterms:description xmlns:dcterms="http://purl.org/dc/terms/" xsi:type="xsd:QName">{http://example.com/}copied-string</dcterms:description>
+    </prov:entity>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Antonin_Scalia"/>
+    </prov:hadMember>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Anthony_Kennedy"/>
+    </prov:hadMember>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Clarence_Thomas"/>
+    </prov:hadMember>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Ruth_Bader_Ginsburg"/>
+    </prov:hadMember>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Stephen_Breyer"/>
+    </prov:hadMember>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Samuel_Alito"/>
+    </prov:hadMember>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Sonia_Sotomayor"/>
+    </prov:hadMember>
+    <prov:hadMember>
+        <prov:collection xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:entity xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Elena_Kagan"/>
+    </prov:hadMember>
+    <prov:wasDerivedFrom>
+        <prov:generatedEntity xmlns="http://example.com/" prov:ref="todays-us-supreme-court"/>
+        <prov:usedEntity xmlns="http://example.com/" prov:ref="the-first-us-supreme-court"/>
+    </prov:wasDerivedFrom>
+    <prov:entity xmlns="http://example.com/" prov:id="page-by-seat">
+        <prov:type xmlns:ex="http://example.com/ontology#" xsi:type="xsd:QName">ex:WikipediaPage</prov:type>
+    </prov:entity>
+    <prov:entity xmlns="http://example.com/" prov:id="page-by-composition">
+        <prov:type xmlns:ex="http://example.com/ontology#" xsi:type="xsd:QName">ex:WikipediaPage</prov:type>
+    </prov:entity>
+    <prov:specializationOf>
+        <prov:specializedEntity xmlns="http://example.com/" prov:ref="page-by-seat"/>
+        <prov:generalEntity xmlns:twc="http://purl.org/twc/page/" prov:ref="twc:wikipedia/us-supreme-court-by-seat"/>
+    </prov:specializationOf>
+    <prov:specializationOf>
+        <prov:specializedEntity xmlns="http://example.com/" prov:ref="page-by-composition"/>
+        <prov:generalEntity xmlns:twc="http://purl.org/twc/page/" prov:ref="twc:wikipedia/us-supreme-court-by-composition"/>
+    </prov:specializationOf>
+</prov:document>

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-class-Invalidation-PASS.provn	Wed Dec 05 22:13:16 2012 +0000
@@ -0,0 +1,21 @@
+document
+  default <http://example.com>
+  prefix rdfs <http://www.w3.org/2000/01/rdf-schema#>
+  prefix owl <http://www.w3.org/2002/07/owl#>
+  prefix wgs <http://www.w3.org/2003/01/geo/wgs84_pos#>
+  prefix foaf <http://xmlns.com/foaf/0.1/>
+  prefix dcterms <http://purl.org/dc/terms/>
+  prefix dbpedia <http://dbpedia.org/resource/>
+  prefix twc <http://purl.org/twc/>
+
+  entity(the-Painter, [prov:type='Painting', rdfs:label="Le Peintre"@fr, rdfs:label="The Painter"@en])
+  wasAttributedTo(the-Painter, dbpedia:Pablo_Picasso)
+  wasInvalidatedBy(the-Painter, swissair_Flight_111_crash, 1998-09-02T01:31:00, [prov:location='twc:location/Swissair-Flight-111-crash'])
+  
+  entity(twc:location/Swissair-Flight-111-crash, [prov:type='prov:Location', wgs:lat="44.409167" %% xsd:double, wgs:long="-63.973611" %% xsd:double])
+  
+  agent(dbpedia:Pablo_Picasso, [foaf:depiction="http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg" %% xsd:anyURI])
+
+  activity(swissair_Flight_111_crash, 1998-09-02T01:31:00Z, -, [prov:location='dbpedia:Atlantic_ocean'])
+  used(swissair_Flight_111_crash, dbpedia:Swissair_Flight_111)
+endDocument
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-class-Invalidation-PASS.provx	Wed Dec 05 22:13:16 2012 +0000
@@ -0,0 +1,30 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
+<prov:document xmlns:prov="http://www.w3.org/ns/prov#" xmlns:ns2="http://openprovenance.org/collection#" xmlns:ns3="http://openprovenance.org/validation#" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:prim="http://openprovenance.org/primitives#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:pc1="http://www.ipaw.info/pc1/">
+    <prov:entity xmlns="http://example.com" prov:id="the-Painter">
+        <prov:label xml:lang="fr">Le Peintre</prov:label>
+        <prov:label xml:lang="en">The Painter</prov:label>
+        <prov:type xsi:type="xsd:QName">Painting</prov:type>
+    </prov:entity>
+    <prov:wasAttributedTo>
+        <prov:entity xmlns="http://example.com" prov:ref="the-Painter"/>
+        <prov:agent xmlns:dbpedia="http://dbpedia.org/resource/" prov:ref="dbpedia:Pablo_Picasso"/>
+    </prov:wasAttributedTo>
+    <prov:wasInvalidatedBy>
+        <prov:time>1998-09-02T01:31:00.000+01:00</prov:time>
+        <prov:entity xmlns="http://example.com" prov:ref="the-Painter"/>
+        <prov:activity xmlns="http://example.com" prov:ref="swissair_Flight_111_crash"/>
+        <prov:location xmlns:twc="http://purl.org/twc/" xsi:type="xsd:QName">twc:location/Swissair-Flight-111-crash</prov:location>
+    </prov:wasInvalidatedBy>
+    <prov:entity xmlns:twc="http://purl.org/twc/" prov:id="twc:location/Swissair-Flight-111-crash">
+        <prov:type xsi:type="xsd:QName">prov:Location</prov:type>
+        <wgs:lat xmlns:wgs="http://www.w3.org/2003/01/geo/wgs84_pos#" xsi:type="xsd:double">44.409167</wgs:lat>
+        <wgs:long xmlns:wgs="http://www.w3.org/2003/01/geo/wgs84_pos#" xsi:type="xsd:double">-63.973611</wgs:long>
+    </prov:entity>
+    <prov:agent xmlns:dbpedia="http://dbpedia.org/resource/" prov:id="dbpedia:Pablo_Picasso">
+        <foaf:depiction xmlns:foaf="http://xmlns.com/foaf/0.1/" xsi:type="xsd:anyURI">http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg</foaf:depiction>
+    </prov:agent>
+    <prov:activity xmlns="http://example.com" prov:id="swissair_Flight_111_crash">
+        <prov:startTime>1998-09-02T02:31:00.000+01:00</prov:startTime>
+        <prov:location xmlns:dbpedia="http://dbpedia.org/resource/" xsi:type="xsd:QName">dbpedia:Atlantic_ocean</prov:location>
+    </prov:activity>
+</prov:document>