--- a/model/ProvenanceModel.html	Mon Nov 07 10:54:01 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Nov 07 11:14:50 2011 +0000
@@ -21,6 +21,11 @@
               berjon.biblio[k] = extraReferences[k];
       };
       var extraReferences = {
+        "Logic":
+          "W. E. Johnson"+
+          "<a href=\"http://www.ditext.com/johnson/intro-3.html\"><cite>Logic: Part III</cite></a>."+
+          "1924. "+
+          "URL: <a href=\"http://www.ditext.com/johnson/intro-3.html\">http://www.ditext.com/johnson/intro-3.html</a>",
         "PROV-SEMANTICS":
           "James Cheney "+
           "<a href=\"http://www.w3.org/2011/prov/wiki/FormalSemanticsStrawman\"><cite>Formal Semantics Strawman</cite></a>. "+
@@ -821,13 +826,15 @@
 <div class='constraint' id='start-precedes-end'> From an activity record, one can infer that the
 start event precedes the end event of the represented activity.</div>
 
-<p>an activity record is not an entity record.
+<p>An activity record is not an entity record.
 Indeed, an entity record represents an entity that exists in full at
 any point in its characterization interval, persists during this
 interval, and preserves the characteristics that makes it
 identifiable.  Alternatively, an activity in something that happens,
 unfolds or develops through time, but is typically not identifiable by
-the characteristics it exhibits at any point during its duration.</p>
+the characteristics it exhibits at any point during its duration. 
+This distinction is similar to the distinction between 
+'continuant' and 'occurrent' in logic [[Logic]].</p>
 
 
 </section> 
@@ -2007,9 +2014,9 @@
 
 
 <section  id="sub-record">
-<h3>Sub-Records</h3>
-
-This section specifies the productions of sub-records of PROV-DM records.
+<h3>Further Terms in Records</h3>
+
+This section specifies the productions of further terms in PROV-DM records.
 
 <section id="record-qualifier">
 <h4>Qualifier</h4>

--- a/model/satya-comments-issue-101.txt	Mon Nov 07 10:54:01 2011 +0000
+++ b/model/satya-comments-issue-101.txt	Mon Nov 07 11:14:50 2011 +0000
@@ -4,7 +4,8 @@
   > Similar to issue with Entity, why are defining Process Execution
   > expression?
 
-Same answer as before.
+We now define records. Terminology 'record' has been (hopefully
+consistently) used across the whole document.
 
   > 
   > 1. The activity that a process execution expression is a
@@ -29,8 +30,8 @@
   > and status = stopped at t2, would it violate the above constraint? If
   > yes, we need to rethink the above constraint.
 
-This should not be seen as attribute, since this is an instantaneous status.
-It does not characterize the PE for its whole duration.
+Simply, this should not be seen as attribute, since this is its status
+at given instants.  It does not hold for the PE's whole duration.
 
   > 
   > 3. contains a set of attribute-value pairs [ attr1=val1, ...],
@@ -56,10 +57,8 @@
   > definition from the Basic Formal Ontology [1] (proposed by me in email
   > thread on PROV-ISSUE-66 [2]). I think we should cite BFO with this.
 
-This is a concept from philosophy, W. E. Johnson, Logic: Part III (1924)
-
-Do we want to cite this book?  There are lots of other things we could
-also cite!
+Yes, this is a concept from philosophy, W. E. Johnson, Logic: Part III (1924)
+Extra citation added, referrring to the book.
 
   > 
   > [1]BFO: www.ifomis.org/bfo/1.1