--- a/model/working-copy/wd6-bundle.html	Wed May 02 13:56:24 2012 +0100
+++ b/model/working-copy/wd6-bundle.html	Wed May 02 13:59:23 2012 +0100
@@ -397,10 +397,105 @@
 
 <h2>Provenance of Provenance</h2>
 
+<div class="note">Should we make this one of the components?</div>
+
+
+<section id="term-bundle"> 
+
+<h3>Bundle</h3>
+
+
+<p>
+<span class="glossary-ref" data-ref="glossary-bundle" >
+</span>
+ </p>
 
 
 
-    </section> 
+
+<p>
+<div class="attributes" id="attributes-bundle">
+ A <dfn title="dfn-bundle" id="dfn-bundle">bundle</dfn>, written <span class="pnExpression">bundle id description_1 ... description_n</span>, consists of:
+<ul>
+<li><span class='attribute' id="bundle.id">id</span>:  an identifier for the bundle;</li>
+<li><span class='attribute' id="bundle.descriptions">descriptions</span>: a set of provenance descriptions <span class="name">
+description_1</span>, ..., <span class="name">description_n</span>.</li>
+</ul>
+
+</section>
+
+<section id="term-bundle-entity"> 
+
+<h3>Bundle Description</h3>
+
+<p>A bundle is an entity so that its provenance can be described.  </p>
+
+<div class="attributes" id="attributes-bundle-entity">
+ A <dfn title="dfn-bundle-description" id="dfn-bundle-description">bundle description</dfn>,
+written
+<span class="pnExpression">entity(id,[prov:type='prov:Bundle', attr1=val1, ...])</span>, has
+<ul>
+<li><span class='attribute' id="bundle.entity.id">id</span>:  an identifier denoting a bundle;</li>
+<li><span class='attribute' id="bundle.entity.attributes">attributes</span>: a type <span>prov:Bundle</span> and
+an OPTIONAL set of attribute-value  pairs ((<span class="name">attr1</span>, <span class="name">val1</span>), ...) representing additional information about this bundle.</li>
+</ul>
+</div>
+
+</section>
+
+<div class="anexample" id="anexample-provenance-of-provenance">
+<p>Let us consider an example consisting of two entities <span class="name">ex:e1</span> and <span class="name">ex:e2</span>.</p>
+<pre class="codeexample"> 
+entity(ex:e1,[prov:type="report", ex:version=1])
+wasGeneratedBy(ex:e1,-,2012-05-24)
+entity(ex:e2,[prov:type="report", ex:version=2])
+wasGeneratedBy(ex:e2,-,2012-05-25)
+wasDerivedFrom(ex:e2,ex:e1)
+</pre>
+
+<p>Let us assume that Bob observed the creation of <span class="name">ex:e1</span>.
+A bundle can be expressed, and its provenance described.</p>
+<pre class="codeexample"> 
+bundle uuid:01
+  entity(ex:e1,[prov:type="report", ex:version=1])
+  wasGeneratedBy(ex:e1,-,2012-05-24)
+end
+entity(uuid:01, [prov:type='prov:Bundle'])
+wasGeneratedBy(uuid:01,-, 2012-05-24)
+wasAttributedTo(uuid:01,ex:Bob)
+</pre>
+
+<p>In contrast,
+Alice observed the creation of <span class="name">ex:e2</span> and its derivation from <span class="name">ex:e1</span>.
+A separate bundle can also be expressed.</p>
+<pre class="codeexample"> 
+bundle uuid:02
+  entity(ex:e1,[prov:hasProvenanceIn='uuid:01'])
+  entity(ex:e2,[prov:type="report", ex:version=2])
+  wasGeneratedBy(ex:e2,-,2012-05-25)
+  wasDerivedFrom(ex:e2,ex:e1)
+end
+entity(uuid:02, [prov:type='prov:Bundle'])
+wasGeneratedBy(uuid:02,-, 2012-05-25)
+wasAttributedBTo(uuid:02,ex:Bob)
+</pre>
+<p>In bundle <span class="name">uuid:02</span>, there is a description for entity <span class="name">ex:e1</span>, with 
+ attribute <span class="name">prov:hasProvenanceIn</span> and value <span class="name">'uuid:01'</span>.  
+This attribute indicates that some provenance description for <span class="name">ex:e1</span> can be found in bundle <span class="name">'uuid:01'</span>. The purpose of this attribute is twofold. First, it allows for <a href="http://www.w3.org/TR/prov-aq/#incremental-provenance-retrieval">incremental navigation</a> of provenance [[PROV-AQ]].  Second, it makes entity <span class="name">ex:e1</span> described in <span class="name">'uuid:02'</span> a <a>specialization</a> of <span class="name">ex:e1</span> described in <span class="name">'uuid:01'</span>.
+</p>
+</div>
+
+
+<div class="note">
+It's not clear that hasProvenanceIn is an attribute. Indeed, looking at James' semantics, I don't see the attribute "hadProvenanceIn" being provided a value in a World.  It does not characterize the entity e1.
+I think that it would be better to have another relation in the model:
+<pre>
+hasProvenanceIn(ex:e1,uuid:01)
+</pre>
+
+</div>
+
+</section>