--- a/model/ProvenanceModel.html	Mon Jul 18 23:39:51 2011 +0100
+++ b/model/ProvenanceModel.html	Tue Jul 19 00:13:16 2011 +0100
@@ -107,6 +107,158 @@
 
     <section> 
 <h2>Example</h2>
+
+    <section> 
+<h3>A File Scenario</h3>
+
+
+<p>Let us consider a shared file system in which journalists Alice, Bob, Charles, David, and Edith can share and edit a crime statistics file.
+
+<p>
+Time t: Alice creates an empty file in /share/crime.txt
+</p>
+
+<p>
+Time t+1: Bob appends the following line to /share/crime.txt:
+<pre>
+There was a lot of crime in London last month.
+</pre>
+</p>
+
+<p>Time t+2: Charles emails the contents of /share/crime.txt
+<pre>
+cat /share/crime.txt | sendmail ...
+</pre>
+</p>
+
+<p>
+Time t+3: David edits file /share/crime.txt as follows.
+<pre>
+There was a lot of crime in London and New-York last month.
+</pre>
+</p>
+
+<p>Time t+4: Edith emails the contents of /share/crime.txt
+<pre>
+cat /share/crime.txt | sendmail ...
+</pre>
+</p>
+
+    </section> 
+
+    <section> 
+<h3>Encoding in PIL</h3>
+<p>
+BOBs
+<pre>
+bob(e0, [ type: "File", location: "/shared/crime.txt", creator: "Alice" ])
+bob(e1, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "" ])
+bob(e2, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London last month."])
+bob(e3, [ type: "File", location: "/shared/crime.txt", creator: "Alice", content: "There was a lot of crime in London and New York last month."])
+bob(e4)
+bob(e5)
+</pre>
+</p>
+
+<p><em>what is in PIL, properties, properties and values, none?</em></p>
+
+
+<p>
+<pre>
+e0 holds in interval [t,t+4[
+e1 holds in interval [t,t+1[
+e2 holds in interval [t+1,t+3[
+e3 holds in interval [t+3,t+4[
+e4: the information piped to sendmail at t+2 (that's a copy of e2's content)
+e5: the information piped to sendmail at t+4 (that's a copy of e3's content)
+</pre>
+</p>
+
+<p>
+Derivation:
+<pre>
+isDerivedFrom(e2,e1)
+isDerivedFrom(e3,e2)
+isDerivedFrom(e4,e2)
+isDerivedFrom(e5,e3)
+</pre>
+</p>
+
+<p>
+Generation:
+<pre>
+isGeneratedBy(e2,pe1)     
+isGeneratedBy(e3,pe3)     
+isGeneratedBy(e4,pe2)     
+isGeneratedBy(e5,pe4)     
+</pre>
+</p>
+
+
+<p>
+Use:
+<pre>
+use(pe1,e1)
+use(pe3,e2)
+use(pe2,e2)
+use(pe4,e3)
+</pre>
+</p>
+
+<p>
+Process Execution:
+<pre>
+processExecution(pe1,add-crime-in-london,t+1)
+processExecution(pe2,copy,t+2)
+processExecution(pe3,edit-London-New-York,t+3)
+processExecution(pe4,copy,t+4)
+</pre>
+</p>
+
+
+<p>
+IVP of:
+<pre>
+IVPof(e1,e0)
+IVPof(e2,e0)
+IVPof(e3,e0)
+</pre>
+</p>
+
+
+<p>
+Agent:
+<pre>
+agent(alice)
+agent(bob)
+agent(charles)
+agent(david)
+agent(edith)
+</pre>
+</p>
+
+
+<p>
+Control:
+<pre>
+controlledBy(pe1,bob,t+1)
+controlledBy(pe2,charles,t+2)
+controlledBy(pe3,david,t+3)
+controlledBy(pe4,edith,t+4)
+</pre>
+</p>
+</section> 
+
+
+    <section> 
+<h3>Graphical Illustration</h3>
+    </section> 
+
+<p><em>
+Graphical illustration of this example to appear here.
+</em></p>
+</section> 
+
     </section>