--- a/model/ProvenanceModel.html	Tue Oct 11 09:40:40 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Oct 12 08:06:34 2011 +0100
@@ -679,7 +679,7 @@
 
    <section id="expression-Entity"> 
       
-<h4>Entity</h4>
+<h4>Entity Expression</h4>
 
 <p>In PROV-DM, an  <dfn id="dfn-entity" title="entity">entity expression</dfn> is a representation of an identifiable characterized thing.</p>
 
@@ -770,7 +770,7 @@
 
     <section id="expression-ProcessExecution"> 
       
-<h3>Process Execution</h3>
+<h3>Process Execution Expression</h3>
 <p>In PROV-DM, a <dfn id="dfn-ProcessExecution">process execution expression</dfn> is a representation an identifiable activity, which performs a piece of work.</p>
 
 <p>In PROV-ASN, a process execution expression's text matches the <span class='nonterminal'>processExecutionExpression</span> production of the grammar defined in this specification document.</p>
@@ -833,7 +833,7 @@
 </section> 
 
 <section id="expression-Agent">
-<h3>Agent</h3>
+<h3>Agent Expression</h3>
 
 
 
@@ -886,7 +886,7 @@
 
    <section id="expression-annotation"> 
       
-<h4>Annotation</h4>
+<h4>Annotation Expression</h4>
 
 <p>An <dfn id="dfn-annotation">annotation expression</dfn> is a set of name-value pairs, whose meaning is application specific. It may or may not be a representation of something in the world.</p> 
 
@@ -946,7 +946,7 @@
 
 
 <section id="expression-Generation">
-<h4>Generation</h4>
+<h4>Generation Expression</h4>
 
 
 <p>In PROV-DM, a <dfn id="dfn-Generation">generation expression</dfn> is a representation of a world event, the creation of a new characterized thing by an activity. This characterized thing did not exist before creation. 
@@ -1033,7 +1033,7 @@
 
 
 <section id="expression-Use">
-<h3>Use</h3>
+<h3>Use Expression</h3>
 
 
 
@@ -1107,7 +1107,7 @@
 
 
 <section id="expression-Derivation">
-<h3>Derivation</h3>
+<h3>Derivation Expression</h3>
 
 
 <p>In PROV-DM, a <dfn id="dfn-Derivation">derivation expression</dfn> is a representation that some characterized thing is transformed from, created from, or affected by another characterized thing in the world.  </p>
@@ -1158,7 +1158,7 @@
 
 
 <section id="pe-linked-derivationExpression">
-<h4>Process Execution Linked Derivation Assertion</h4>
+<h4>Process Execution Linked Derivation Expression</h4>
 
 <p>A process execution linked derivation expression, which, by definition of a derivation expression, is a representation that some characterized thing is transformed from, created from, or affected by another characterized thing, also entails the existence of a process execution expression that represents an activity that transforms, creates or affects this characterized thing.</p>
 
@@ -1385,7 +1385,7 @@
 
 
 <section id="expression-Control">
-<h3>Control</h3>
+<h3>Control Expression</h3>
 
 <p> A <dfn id="dfn-Control">control expression</dfn> is a representation of the involvement of characterized thing (represented as an agent expression or an entity expression) in an activity, which is represented by a process execution expression; a control qualifier qualifies this involvement.</p>
 
@@ -1425,7 +1425,7 @@
 
 <section id="expression-complement-of">
 
-<h3>Complementarity</h3>
+<h3>Complementarity Expression</h3>
 
 
 <p>A <dfn id="complementOf">complementarity expression</dfn> is a relationship between two characterized things stated to have compatible characterization over some continuous interval between two events.</p>
@@ -1525,7 +1525,7 @@
 
 
 <section id="expression-OrderingOfProcessExecutions">
-<h3>Ordering of Process Executions</h3>
+<h3>Process Execution Ordering Expression</h3>
 </section>
 
 <div class="note">Proposal to change the name to "Dependencies amongst Process Executions"  to avoid ambiguities</div>
@@ -1640,7 +1640,7 @@
 
 
 <section id="expression-Revision">
-<h3>Revision</h3>
+<h3>Revision Expression</h3>
 
 <p> A <dfn id="dfn-Revision">revision expression</dfn> is a representation of the creation of a characterized thing considered to be a variant of another. Deciding whether something is made available as a revision of something else usually involves an agent who represents someone in the world who takes responsibility for declaring that the former is variant of the latter. </p>
 
@@ -1704,7 +1704,7 @@
 </section>
 
 <section id="expression-Participation">
-<h3>Participation</h3>
+<h3>Participation Expression</h3>
 
 <p>A <dfn id="dfn-Participation">participation expression</dfn> is a representation of the involvement of a characterized thing in an activity. A participation expression can be asserted or inferred.</p>
 
@@ -1750,7 +1750,7 @@
 </section>
 
 <section id="expression-annotationAssociation">
-<h4>Annotation Association</h4>
+<h4>Annotation Association Expression</h4>
 
 
 <p>An <dfn id="dfn-annotationAssociation">annotation association expression</dfn> establishes a link between an identifiable PROV-DM expression and an annotation expression referred to by its identifier.  Multiple annotation expressions can be associated with a given PROV-DM expression; symmetrically, multiple PROV-DM expressions can be associated with a given annotation expression.  Since annotation expressions have identifiers,  they can also be annotated. The annotation mechanism (with annotation expression and the annotation association expression) forms a key aspect of the extensibility mechanism of PROV-DM (see <a href="#extensibility-section">extensibility section</a>).</p> 
@@ -1826,7 +1826,7 @@
 
 
 <section id="expression-Account">
-<h3>Account</h3>
+<h3>Account Expression</h3>
 
 <p>In PROV-DM, an <dfn id="dfn-Account">account expression</dfn> is a wrapper of expressions with a dual purpose:  </p> 
 <ul>
@@ -2004,12 +2004,11 @@
 
 
 </section>
-
 </section>
 
 
-<section  id="expression-other">
-<h3>Other Expressions</h3>
+<section  id="sub-expression">
+<h3>Sub-Expressions</h3>
 
 This section specifies the productions of sub-expressions of PROV-DM expressions.