--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/testcases/constraints/ordering-communication-PASS-c35.provn Thu Dec 06 17:31:55 2012 +0000
@@ -0,0 +1,11 @@
+document
+prefix xsd <http://www.w3.org/2001/XMLSchema>
+prefix prim <http://openprovenance.org/primitives#>
+prefix ex <http://example.org/>
+prefix prov <http://www.w3.org/ns/prov#>
+prefix xsi <http://www.w3.org/2001/XMLSchema-instance>
+prefix pc1 <http://www.ipaw.info/pc1/>
+activity(ex:a1,-,-)
+activity(ex:a2,-,-)
+wasInformedBy(ex:inf1;ex:a1,ex:a2)
+endDocument
\ No newline at end of file