--- a/model/container-example.txt Thu Aug 25 09:57:29 2011 +0100
+++ b/model/container-example.txt Thu Aug 25 10:06:49 2011 +0100
@@ -1,18 +1,19 @@
-provenanceContainer(id1, ;;; <- container identifier (global scope?)
+provenanceContainer(id1, ;;; <- container identifier
hasProvenance:
- provenanceContainer(id2,
+ provenanceContainer(id2, ;;; <- no provenance for container id2
statements: {
- entity(id1, [ type:"ProvenanceContainer" ]) ;;; <- container seen as a entity
- isGeneratedBy(id,p,out)
- processExecution(p,assert,"07-28-2011:10.38am") ;;; <- time of assertion
+ entity(id1, [ type:"ProvenanceContainer" ]) ;;; <- container seen as a entity
+ isGeneratedBy(id1,p,out)
- entity(ag_luc, [ type: "Person", name: "Luc" ]) ;;; <- luc is an agent
- agent(ag_luc)
- isControlledBy(p,ag_luc,"asserter") ;;; <- luc is the asserter
+ processExecution(p,assert,"07-28-2011:10.38am") ;;; <- time of assertion
+
+ entity(a6, [ type: "Person", name: "Luc" ]) ;;; <- luc is an agent
+ agent(a6)
+ isControlledBy(p,a6,"asserter") ;;; <- luc is the asserter
}