--- a/model/working-copy/prov-dm-constraints.html	Thu Feb 16 10:03:07 2012 +0000
+++ b/model/working-copy/prov-dm-constraints.html	Thu Feb 16 11:08:41 2012 +0000
@@ -223,7 +223,7 @@
 <p><a href="#interpretation">Section 6</a></p>
 <p><a href="#structural-constraints">Section 7</a></p>
 <p><a href="#collection-constraints">Section 8</a></p>
-<p><a href="#from-scruffy-to-proper">Section 9</a></p>
+<p><a href="#refining-provenance-descriptions">Section 9</a> successively review refined provenance descriptions, and examine their meaning, in light of the constraints introduced in previous sections. </p>
 
 
 
@@ -1736,18 +1736,72 @@
 compatible with the temporal layout of the graphical notation.
 -->
 
-<section id="from-scruffy-to-proper">
-<h3>From "Scruffy" to "Proper" ...</h3>
+<section id="refining-provenance-descriptions">
+<h3>Refining Provenance Descriptions</h3>
 
+<div class='note'>Purely tentative</div>
+
+<p>In this section, we successively review refined provenance descriptions, and examine their meaning, in light of the constraints introduced in this specification. </p>
+
+
+<ol> 
+<li>First, let us consider a small set of three descriptions, including an entity, an agent, and an attribution relation.
+<pre>
+entity(tr:prov-dm)
+agent(w3:Consortium)
+wasAttributedTo(tr:prov-dm,w3:Consortium)
+</pre>
+<p>The entity denoted by <span class="name">tr:prov-dm</span> does not contain any attribute besides its identifier.  Without any further detail, this entity is simply the resource denoted by <span class="name">tr:prov-dm</span>, whatever its state over time. This resource has multiple versions including <span class="name">tr:WD-prov-dm-20111215</span> and <span class="name">tr:WD-prov-dm-20111018</span>.
+Likewise, the second line simply is a description for a resource denoted by <span class="name">w3:Consortium</span>, nothing less, nothing more.</p>
+<p>The third description should be interpreted as: whatever changes entity <span class="name">tr:prov-dm</span> may have gone through, it is always attributed to the <span class="name">w3:Consortium</span> agent.</p>
+</li>
+
+
+<li>Second, the descriptions are bundled up as an account with name <span class="name">ex:acc1</span>:
+<pre>
+entity(tr:prov-dm)
+agent(ex:Simon)
+wasAttributedTo(tr:prov-dm,ex:Simon)
+</pre>
+and provenance details are available for <span class="name">ex:acc1</span>, namely the generation time for the provenance. 
+<pre>
+entity(ex:acc1, [prov:type="AccountEntity"])
+wasGeneratedBy(ex:acc1,,2011-12-15T12:00:00)
+</pre>
 <div class='note'>
-Now that all constraints have been defined, it's time to revisit provenance nicknamed scuffy, and see what it actuall means, and how it can be made more proper.  Note that I am not proposing to use the terms 'scruffy' and 'proper'. 
-<p>
-What does  a provenance description such as the following, actually mean? Why is it "scruffy"?
+What is the meaning here?  Is it any different? Are stating anything about newer version of tr:prov-dm that occur after 2011-12-15T12:00:00?
+</div>
+
+<li> A generation event for <span class="name">tr:prov-dm</span> is provided.
 <pre>
-wasAssociatedWith(tr:WD-prov-dm-20111215,ex:Simon)
+entity(tr:prov-dm)
+agent(ex:Simon)
+wasGeneratedBy(tr:prov-dm,,2011-12-15T12:00:00)
+wasAttributedTo(tr:prov-dm,ex:Simon)
 </pre>
-What do we need to add to make it "proper"?
+<div class='note'>
+What is the meaning here?  that only the version that was created by this event is attributed to ex:Simon, but not previous ones. This means that it is not specfied whether he was an author in anterior versions.
 </div>
+
+</li>
+
+
+<li> A destruction event for <span class="name">tr:prov-dm</span> is provided.
+<pre>
+entity(tr:prov-dm)
+agent(ex:Simon)
+wasGeneratedBy(tr:prov-dm,,2011-12-15T12:00:00)
+wasDestroyedBy(tr:prov-dm,,2012-02-02T12:00:00)
+wasAttributedTo(tr:prov-dm,ex:Simon)
+</pre>
+<div class='note'> 
+Speculative, since we have not defined the destruction event (yet?.
+What is the meaning here?  that only the versions that existed during this characterization interval were attributed to ex:Simon.
+</div>
+</li>
+
+</ol>
+
 </section>
 
 <!--