--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-property-hadMember-PASS.provn	Thu Dec 06 00:26:03 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-property-hadMember-PASS.provx	Thu Dec 06 00:26:03 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-property-qualifiedPrimarySource-PASS.provn	Thu Dec 06 00:26:03 2012 +0000
@@ -0,0 +1,9 @@
+document
+  default <http://example.com/>
+  prefix rdfs <http://www.w3.org/2000/01/rdf-schema#>
+
+  entity(temperatureDisplay)
+  entity(sensorReading20120510)
+  wasDerivedFrom(temperatureDisplay, sensorReading20120510, [prov:type='prov:PrimarySource', precisionLoss="true" %% xsd:boolean, rdfs:comment="The displayed temperature does not show the full precision\navailable in the reading."])
+  wasGeneratedBy(sensorReading20120510, temperatureSensor, -)
+endDocument
\ No newline at end of file

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.provx	Thu Dec 06 00:26:03 2012 +0000
@@ -0,0 +1,16 @@
+<?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="http://example.com/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+    <prov:entity prov:id="temperatureDisplay"/>
+    <prov:entity prov:id="sensorReading20120510"/>
+    <prov:wasDerivedFrom>
+        <prov:generatedEntity prov:ref="temperatureDisplay"/>
+        <prov:usedEntity prov:ref="sensorReading20120510"/>
+        <prov:type xsi:type="xsd:QName">prov:PrimarySource</prov:type>
+        <precisionLoss xsi:type="xsd:boolean">true</precisionLoss>
+        <rdfs:comment xsi:type="xsd:string">The displayed temperature does not show the full precision\navailable in the reading.</rdfs:comment>
+    </prov:wasDerivedFrom>
+    <prov:wasGeneratedBy>
+        <prov:entity prov:ref="sensorReading20120510"/>
+        <prov:activity prov:ref="temperatureSensor"/>
+    </prov:wasGeneratedBy>
+</prov:document>