--- a/model/prov-n.html	Thu Jul 12 12:53:53 2012 +0100
+++ b/model/prov-n.html	Thu Jul 12 12:58:28 2012 +0100
@@ -1973,35 +1973,17 @@
 <section id="component6"> 
 <h3>Component 6: Collections</h3>
 
-<!--  In the productions in this section, nonterminals  <a href="#prod-keyEntitySet">keyEntitySet</span> and <span class="nonterminal">keySet</span> are defined as follows.  -->
-
-<!--
-<div class="grammar">
-<span class="nonterminal">keyValuePairs</span> &nbsp;::= 
-<span class="name">(</span>
-    <span class="nonterminal">literal</span>
- <span class="name">,</span>
-<span class="nonterminal">eidentifier</span>
-    <span class="name">)</span>
-|
-<span class="name">(</span>
-  <span class="nonterminal">literal</span>
- <span class="name">,</span>
-<span class="nonterminal">eidentifier</span>
-<span class="name">)</span>
-  <span class="name">,</span>
-<span class="nonterminal">keyValuePairs</span>
-</div>
-
-  <div class="grammar">
-<span class="nonterminal">keySet</span> &nbsp;::= 
-    <span class="nonterminal">literal</span>
-|
-  <span class="nonterminal">literal</span>
- <span class="name">,</span>
-<span class="nonterminal">keySet</span>
-</div>
--->
+
+<section id="expression-collection">
+<h3>Collection</h3>
+
+
+<p>
+PROV-N provides no dedicated syntax for Collection and EmptyCollection. Instead, a Collection or an EmptyCollection MUST be expressed as an
+<code class="content"><a class="grammarRef" href="#prod-entityExpression">entityExpression</a></code> with attribute 
+<span  id="provn-type-Collection"><code>prov:type='prov:Collection'</code></span>, or
+<span  id="provn-type-EmptyCollection"><code>prov:type='prov:EmptyCollection'</code></span>.</p>
+</section>
 
 
 <section id="expression-collection-membership">