--- a/model/ProvenanceModel.html	Wed Sep 28 17:03:49 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Sep 28 20:46:25 2011 +0100
@@ -152,8 +152,8 @@
 <p>This specification is based on a conceptualization of the world
 that is described in this section. In the world (whether real or not),
 there are things, which can be physical, digital, conceptual, or
-otherwise, and activities involving things.  Words such thing or
-activity should be understood with their informal meaning.</p>
+otherwise, and activities involving things.  Words such <em>thing</em> or
+<em>activity</em> should be understood with their informal meaning.</p>
 
 <p>When we talk about things in the world in natural language and even when we assign identifiers, we are often imprecise in ways that make it difficult to clearly and unambiguously report provenance: a resource with a URL may be understood as referring to a report available at that URL, the version of the report available there today, the report independent of where it is hosted over time, etc.</p>
 

--- a/model/README.txt	Wed Sep 28 17:03:49 2011 +0100
+++ b/model/README.txt	Wed Sep 28 20:46:25 2011 +0100
@@ -26,4 +26,13 @@
    - preliminaries section: to introduce conceputal model
    - section 6, PROV DM: refers to 'entity expression'
 
--PM: addressing Khalid's comments
+- ISSUE-50: definition of process ordering now incorporated
+
+- ISSUE-48: definition of revision also included
+
+- ISSUE-49: definition of participation also included
+
+- ISSUE-51: asserter now defined
+
+- ISSUE-81: container and account now defined
+            scope of identifier discussed in account section

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/container1.prov	Wed Sep 28 20:46:25 2011 +0100
@@ -0,0 +1,72 @@
+urn:uuid:e0
+urn:uuid:e1
+
+urn:oid:0
+urn:oid:1
+urn:oid:2
+
+
+
+container([x http://x.com,
+           prov: http://w3.org/prov/],
+           ,
+
+                entity(e0, [ type="File", location="/shared/crime.txt", creator="Alice" ])
+                entity(e1, [ type="File", location="/shared/crime.txt", creator="Alice", content="" ])
+                entity(e2, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London last month."])
+                entity(e3, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London and New York last month."])
+                entity(e4, [ ])
+                entity(e5, [ ])
+                entity(e6, [ type="File", location="/shared/crime.txt", creator="Alice", content="There was a lot of crime in London and New York last month.", spellchecked="yes"])
+
+                processExecution(pe0,create-file,t,,[])
+                processExecution(pe1,add-crime-in-london,t+1,,[])
+                processExecution(pe2,email,t+2,,[])
+                processExecution(pe3,edit-London-New-York,t+3,,[])
+                processExecution(pe4,email,t+4,,[])
+                processExecution(pe5,spellcheck,,,[])
+
+                wasGeneratedBy(e0, pe0, qualifier())
+                wasGeneratedBy(e1, pe0, qualifier(fct="create"))
+                wasGeneratedBy(e2, pe1, qualifier(fct="save"))     
+                wasGeneratedBy(e3, pe3, qualifier(fct="save"))     
+                wasGeneratedBy(e4, pe2, qualifier(port="smtp", section="attachment"))  
+                wasGeneratedBy(e5, pe4, qualifier(port="smtp", section="attachment"))    
+                wasGeneratedBy(e6, pe5, qualifier(file="stdout"))
+
+                used(pe1,e1,qualifier(fct="load"))
+                used(pe3,e2,qualifier(fct="load"))
+                used(pe2,e2,qualifier(fct="attach"))
+                used(pe4,e3,qualifier(fct="attach"))
+                used(pe5,e3,qualifier(file="stdin"))
+                
+                wasDerivedFrom(e2,e1)
+                wasDerivedFrom(e3,e2)
+                wasDerivedFrom(e4,e2,pe2,qualifier(port=smtp, section="attachment"),qualifier(fct="attach"))
+                wasDerivedFrom(e5,e3,pe4,qualifier(port=smtp, section="attachment"),qualifier(fct="attach"))
+
+                wasComplementOf(e1,e0)
+                wasComplementOf(e2,e0)
+                wasComplementOf(e3,e0)
+                wasComplementOf(e6,e3) 
+
+
+                entity(a1, [ type="Person", name="Alice" ])
+                agent(a1)
+
+                entity(a2, [ type="Person", name="Bob" ])
+                agent(a2)
+
+                entity(a3, [ type="Person", name="Charles" ])
+                agent(a3)
+
+                entity(a4, [ type="Person", name="David" ])
+                agent(a4)
+
+                entity(a5, [ type="Person", name="Edith" ])
+                agent(a5)
+
+
+                )
+
+