--- a/model/ProvenanceModel.html	Thu Jul 21 16:07:58 2011 +0100
+++ b/model/ProvenanceModel.html	Thu Jul 21 19:03:43 2011 +0100
@@ -183,6 +183,8 @@
 <p>
 Generations:
 <pre>
+isGeneratedBy(e0,pe0,out)     
+isGeneratedBy(e1,pe0,out)     
 isGeneratedBy(e2,pe1,out)     
 isGeneratedBy(e3,pe3,out)     
 isGeneratedBy(e4,pe2,out)     
@@ -204,6 +206,7 @@
 <p>
 Process Executions:
 <pre>
+processExecution(pe0,create-file,t)
 processExecution(pe1,add-crime-in-london,t+1)
 processExecution(pe2,copy,t+2)
 processExecution(pe3,edit-London-New-York,t+3)
@@ -246,6 +249,7 @@
 <p>
 Control:
 <pre>
+isControlledBy(pe0,ag_al,"creator")
 isControlledBy(pe1,ag_bo,"author")
 isControlledBy(pe2,ag_ch, "communicator")
 isControlledBy(pe3,ag_da,"author")