--- a/model/ProvenanceModel.html	Wed Nov 23 22:36:24 2011 +0000
+++ b/model/ProvenanceModel.html	Wed Nov 23 23:09:34 2011 +0000
@@ -2486,23 +2486,38 @@
 <span class="name">)</span>
 </div>
 
-<p>A treaceability record can be inferred from existing relations, or can be asserted stating that such a dependency path exists without the asserter knowing its individual steps. The last clause in the following definition ensures the transitivity property.</p>
-
-
-
-<div class='constraint' id='traceability definition'>
-Given two identifiers <span class="name">e2</span> and  <span class="name">e1</span>, identifying entity records, the record <span class="name">tracedTo(e2,e1)</span> holds <span class='conditional'>if and only if</span>:
+<p>A treaceability record can be inferred from existing relations, or can be asserted stating that such a dependency path exists without the asserter knowing its individual steps, as expressed by the following constraints.
+
+<div class='constraint' id='traceability inference'>
+Given two identifiers <span class="name">e2</span> and  <span class="name">e1</span>, identifying entity records, the record <span class="name">tracedTo(e2,e1)</span> can be inferred
+<span class='conditional'>if</span> any of the following statements is satisfied:
 <ul> 
 <li> <span class="name">wasDerivedFrom(e2,e1,a,g2,u1)</span> holds, for some <span class="name">a</span>, <span class="name">g2</span>, <span class="name">u1</span>, or</li>
 <li> <span class="name">wasDerivedFrom(e2,e1)</span> holds, or</li>
 <li> <span class="name">wasBasedOn(e2,e1)</span> holds, or</li>
 <li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasAssociatedWith(a,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>, or</li>
-<li> <span class="name">wasGeneratedBy(e2,a,gAttr)</span>, <span class="name">wasAssociatedWith(a,e)</span> and <span class="name">actedOnBehalfOf(e,e1)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>, or</li>
+<li> <span class="name">wasGeneratedBy(e2,a,gAttr)</span>, <span class="name">wasAssociatedWith(a,e)</span> and <span class="name">actedOnBehalfOf(e,e1)</span> hold, for some  <span class="name">a</span>, <span class="name">e</span>, and  <span class="name">gAttr</span>, or</li>
 <li> <span class="name">wasGeneratedBy(e2,a,gAttr) and wasStartedBy(a,e1,sAttr)</span> hold, for some  <span class="name">a</span>, <span class="name">e</span>, and  <span class="name">gAttr</span>, and  <span class="name">sAttr</span>, or</li>
 <li> <span class="name">tracedTo(e2,e)</span> and  <span class="name">tracedTo(e,e1)</span> hold for some  <span class="name">e</span>.</li>
 </ul>
 </div>
 
+<div class='constraint' id='traceability assertion'>
+<span class='conditional'>If</span> the record <span class="name">tracedTo(e2,e1)</span> holds
+for two identifiers <span class="name">e2</span> and  <span class="name">e1</span> identifying entity records, 
+ <span class='conditional'>then</span> there exist
+<span class="name">e<sup>0</sup></span>, <span class="name">e<sup>1</sup></span>, ..., <span class="name">e<sup>n</sup></span> for <span class="name">n&ge;1</span>, with <span class="name">e<sup>0</sup></span>=<span class="name">e2</span>  and <span class="name">e<sup>n</sup></span>=<span class="name">e1</span>, and
+for each <span class="name">e<sup>i</sup></span>, <span class="name">e<sup>i+1</sup></span>, with <span class="name">0&le;i&le;n-1</span>, one the following statement holds:
+<ul> 
+<li> <span class="name">wasDerivedFrom(e<sup>i</sup>,e<sup>i+1</sup>,a,g2,u1)</span> holds, for some <span class="name">a</span>, <span class="name">g2</span>, <span class="name">u1</span>, or</li>
+<li> <span class="name">wasDerivedFrom(e<sup>i</sup>,e<sup>i+1</sup>)</span> holds, or</li>
+<li> <span class="name">wasBasedOn(e<sup>i</sup>,e<sup>i+1</sup>)</span> holds, or</li>
+<li> <span class="name">wasGeneratedBy(e<sup>i</sup>,a,gAttr) and wasAssociatedWith(a,e<sup>i+1</sup>)</span> hold, for some  <span class="name">a</span> and  <span class="name">gAttr</span>, or</li>
+<li> <span class="name">wasGeneratedBy(e<sup>i</sup>,a,gAttr)</span>, <span class="name">wasAssociatedWith(a,e)</span> and <span class="name">actedOnBehalfOf(e,e<sup>i+1</sup>)</span> hold, for some  <span class="name">a</span>, <span class="name">e</span> and  <span class="name">gAttr</span>, or</li>
+<li> <span class="name">wasGeneratedBy(e<sup>i</sup>,a,gAttr) and wasStartedBy(a,e<sup>i+1</sup>,sAttr)</span> hold, for some  <span class="name">a</span>, <span class="name">e</span>, and  <span class="name">gAttr</span>, and  <span class="name">sAttr</span>.</li>
+</ul>
+</div>
+
 
 </section>
 
@@ -2991,7 +3006,8 @@
 <section class="appendix"> 
       <h2>Changes Since Previous Version</h2> 
 <ul>
-<li>11/21/11: Consolidation of event in section 2.1.2 and linking to definitions from the rest of document. </li>
+<li>11/23/11: Defined attribute, identifier, and namespace declaration. </li>
+<li>11/23/11: Consolidation of event in section 2.1.2 and linking to definitions from the rest of document. </li>
 <li>11/21/11: Added wasStartedBy between activities.</li>
 <li>11/21/11: Added wasInformedBy-ordering constraint.</li>
 <li>11/17/11: Added Traceability  Record.</li>