--- a/model/prov-dm.html	Wed Mar 28 14:53:00 2012 +0100
+++ b/model/prov-dm.html	Wed Mar 28 14:59:43 2012 +0100
@@ -2072,36 +2072,41 @@
 <span class="glossary-ref" data-ref="glossary-removal"></span>
 
 
-<p><strong>Derivation-by-Removal</strong> relation <span class="name">derivedByRemovalFrom(id, c2,c1, {key_1, ... key_n})</span> states that  <span class="name">c2</span> is  the  state of the collection following the removal of the set of pairs corresponding to keys  <span class="name">key_1...key_n</span> from  <span class="name">c1</span>.
-
-<p> A Derivation-by-Removal relation, written <span class="pnExpression"> derivedByRemovalFrom(id, collAfter, collBefore, key-set, attrs)</span>, contains:</p>
+
+
+<p>
+<div class="attributes" id="attributes-derivedByRemovalFrom">
+ A <dfn title="derivedByRemovalFrom">Derivation-by-Removal</dfn> relation, written <span class="pnExpression">derivedByRemovalFrom(id, c2, c1, {key_1, ... key_n}, attrs)</span>, contains:</p>
 <ul>
 <li><span class='attribute'>id</span>:  an OPTIONAL identifier identifying the relation;</li>
-<li><span class='attribute'>after</span>: an identifier  for the collection  <em>after</em> the deletion; </li>
-<li><span class='attribute'>before</span>: an identifier  for the collection <em>before</em> the deletion;</li>
-<li><span class='attribute'>key-set</span>: a set of deleted keys, of the form {key_1,..., key_n};</li>
-<li><span class='attribute'>attributes</span>: an OPTIONAL set of attribute-value pairs to further describe the properties of the relation.</li>
+<li><span class='attribute'>after</span>: an identifier (<span class="name">c2</span>) for the collection  <em>after</em> the deletion; </li>
+<li><span class='attribute'>before</span>: an identifier (<span class="name">c1</span>)  for the collection <em>before</em> the deletion;</li>
+<li><span class='attribute'>key-set</span>: a set of deleted keys  <span class="name">key_1</span>, ..., <span class="name">key_n</span>, for which each <span class="name">key_i</span> is a <a>value</a>;</li>
+<li><span class='attribute'>attributes</span>: an OPTIONAL set (<span class="name">attrs</span>) of attribute-value pairs to further describe the properties of the relation.</li>
 </ul>
-
+</div>
+
+<p>Derivation-by-Removal relation <span class="name">derivedByRemovalFrom(id, c2,c1, {key_1, ... key_n})</span> states that  <span class="name">c2</span> is  the  state of the collection following the removal of the set of pairs corresponding to keys  <span class="name">key_1...key_n</span> from  <span class="name">c1</span>.
 
 <div class="anexample">
 <pre class="codeexample">
-   entity(c, [prov:type="EmptyCollection"])    // e is an empty collection
+   entity(c, [prov:type="EmptyCollection"])    // c is an empty collection
    entity(e1)
    entity(e2)
+   entity(e3)
    entity(c1, [prov:type="Collection"])
    entity(c2, [prov:type="Collection"])
 
   derivedByInsertionFrom(c1, c, {("k1", e1), ("k2",e2)})       
   derivedByInsertionFrom(c2, c1, {("k3", e3)})
-  derivedByRemovalFrom(c3, c2, {k1,k3})   
+  derivedByRemovalFrom(c3, c2, {k1, k3})   
 </pre>
-  From this set of assertions, we conclude:
+From this set of descriptions, we conclude:
   <pre class="codeexample">
    c =  {  }
-   c1 = { ("k1",e1), ("k2", e2)  }
-   c2 = { ("k1",e1), ("k2", e2), ("k3", e3) }
-   c3 = { ("k2",e2) }
+   c1 = { ("k1", e1), ("k2", e2)  }
+   c2 = { ("k1", e1), ("k2", e2), ("k3", e3) }
+   c3 = { ("k2", e2) }
   </pre>