--- a/model/ProvenanceModel.html	Wed Sep 14 12:15:01 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Sep 14 12:47:00 2011 +0100
@@ -1588,6 +1588,12 @@
 <section id="expression-annotationAssociation">
 <h4>Annotation Association</h4>
 
+
+<p>An <dfn id="dfn-annotationAssociation">annotation association expression</dfn> establishes a link between a PROV-DM expression with an identifier and an annotation expression referred to by its identifier.  Multiple annotations can be associated with a given PROV-DM expression; symmetrically, multiple PROV-DM expressions can be associated with a given annotation. Since annotation expressions have identifiers,  we can also annotate annotation expressions. The annotation mechansim (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> 
+
+<p>In PROV-ASN, an annotation expression's text matches the <span class="nonterminal">annotationExpression</span> production of the grammar defined in this specification document.
+</p>
+
 <div class='grammar'>
 <span class="nonterminal">annotationAssociationExpression</span>&nbsp;:=  
 <span class="name">hasAnnotation</span>
@@ -1598,7 +1604,18 @@
 <span class="name">)</span><br/>
 </div>
 
-<div class='note'>Luc to write</div>
+<p>
+The following expressions
+<pre class="example">
+entity(e1,[type="document"])
+entity(e2,[type="document"])
+annotation(ann1,[icon="doc.png"])
+hasAnnotation(e1,ann1)
+hasAnnotation(e2,ann1)
+</pre>
+assert the existence of two  documents in the world  (attribute-value pair: <span class="name">type="document"</span>) represented by entity expressions identified by <span class="name">e1</span> and <span class="name">e2</span>, and annotate these expressions with an annotation, indicating that the icon (an application specific way of rendering provenance) is <span class="name">doc.png</span>.
+</p>
+
 </section>
 </section>
 
@@ -1944,6 +1961,16 @@
 
     </section> 
 
+    <section id="extensibility-section"> 
+<h2>PROV-DM Extensibility Points</h2>
+
+<div class='note'>Summarize here the extensibility points of PROV-DM.
+Attributes, annotations, namespaces. Predefined attributes: prov:type.</div>
+
+
+    </section> 
+
+
     <section> 
 <h2>Shortcuts and extensions</h2>