--- a/model/ProvenanceModel.html	Mon Nov 07 12:07:06 2011 +0000
+++ b/model/ProvenanceModel.html	Mon Nov 07 12:25:50 2011 +0000
@@ -831,7 +831,7 @@
 
 <p>The mere existence of an activity assertion entails some event ordering in the world, since the start event precedes the end event.  This is expressed by constraint <a href="#start-precedes-end">start-precedes-end</a>.</p>
 
-<div class='constraint' id='start-precedes-end'> From an activity record, one can infer that the
+<div class='interpretation' id='start-precedes-end'> From an activity record, one can infer that the
 start event precedes the end event of the represented activity.</div>
 
 <p>An activity record is not an entity record.
@@ -1021,7 +1021,7 @@
 A generation event SHOULD have some visibility on the attributes of the generated entity, as expressed by the following constraint.
 
 
-<div class='constraint' id='generation-affects-attributes'>Given an identifier <span class="name">pe</span> for an activity record, an identifier <span class="name">e</span> for an entity record, qualifier <span class="name">q</span>, and optional time <span class="name">t</span>,
+<div class='deprecatedconstraint' id='generation-affects-attributes'>Given an identifier <span class="name">pe</span> for an activity record, an identifier <span class="name">e</span> for an entity record, qualifier <span class="name">q</span>, and optional time <span class="name">t</span>,
 <span class='conditional'>if</span> the assertion <span class="name">wasGeneratedBy(e,pe,p)</span>
 or <span class="name">wasGeneratedBy(e,pe,q,t)</span> holds, <span class='conditional'>then</span> the values of <em>some</em> of <span class="name">e</span>'s
 attributes are determined by the activity represented by activity record identified by <span class="name">pe</span> and the
@@ -1031,11 +1031,13 @@
 asserted.  
 </div>
 
+<div class='note'>The WG has approved that this constraint should be dropped.  It and others had some influence on derivation transitivity. They will be removed from the documents once the proposal on derivation has been approved. </div>
+
 
 The assertion of a generation event implies ordering of events in the world.
 
 
-<div class='constraint' id='generation-pe-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,pe,q)</span> or <span class="name">wasGeneratedBy(x,pe,q,t)</span>, <span class='conditional'>then</span> generation of the entity denoted by <span class="name">x</span> precedes the end
+<div class='interpretation' id='generation-pe-ordering'><span class='conditional'>If</span> an assertion <span class="name">wasGeneratedBy(x,pe,q)</span> or <span class="name">wasGeneratedBy(x,pe,q,t)</span>, <span class='conditional'>then</span> generation of the entity denoted by <span class="name">x</span> precedes the end
 of <span class="name">pe</span> and follows the beginning of <span class="name">pe</span>. 
 </div> 
 
@@ -1099,7 +1101,7 @@
 
 
 
-<div class='constraint' id='use-attributes'>
+<div class='deprecatedconstraint' id='use-attributes'>
 Given an activity record identified by <span class="name">pe</span>, an entity record identified by <span class="name">e</span>, a qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
  assertion <span class="name">used(pe,e,q)</span> or <span class="name">used(pe,e,q,t)</span> holds, 
 <span class='conditional'>then</span> the existence of an attribute-value pair in the entity record identified by <span class="name">e</span> is a
@@ -1107,8 +1109,11 @@
 </div>
 
 
-
-<div class='constraint' id='use-pe-ordering'>Given an activity record identified by <span class="name">pe</span>, an entity record identified by <span class="name">e</span>, a qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
+<div class='note'>The WG has approved that this constraint should be dropped.  It and others had some influence on derivation transitivity. They will be removed from the documents once the proposal on derivation has been approved. </div>
+
+
+
+<div class='interpretation' id='use-pe-ordering'>Given an activity record identified by <span class="name">pe</span>, an entity record identified by <span class="name">e</span>, a qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
  assertion <span class="name">used(pe,e,q)</span> or <span class="name">used(pe,e,q,t)</span> holds, <span class='conditional'>then</span> 
  the use of the entity represented by entity record identified by <span class="name">e</span> precedes the end
 time contained in the activity record identified by <span class="name">pe</span> and follows its beginning. Furthermore,  the generation of the entity denoted by entity record identified by <span class="name">e</span> always precedes
@@ -1216,14 +1221,16 @@
 
 <p>If a derivation record holds for <span class="name">e2</span> and <span class="name">e1</span>, then it means that the entity represented by the entity record identified by <span class="name">e1</span> has an influence on the entity represented by the entity record identified by <span class="name">e2</span>, which is captured by a dependency between their attribute values; it also implies temporal ordering. These are specified as follows:</p>
 
-<div class='constraint' id='derivation-attributes'>Given an activity record denoted by <span class="name">pe</span>, entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
+<div class='deprecatedconstraint' id='derivation-attributes'>Given an activity record denoted by <span class="name">pe</span>, entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
 or <span class="name">wasDerivedFrom(e2,e1)</span> holds <span class='conditional'>if and only if</span>
  the values of some attributes of the entity record identified by
  <span class="name">e2</span> are partly or fully determined by the values of some
 attributes of the entity record identified by <span class="name">e1</span>. </div>
 
-
-<div class='constraint' id='derivation-use-generation-ordering'>Given an activity record identified by <span class="name">pe</span>, entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
+<div class='note'>The WG has approved that this constraint should be dropped.  It and others had some influence on derivation transitivity. They will be removed from the documents once the proposal on derivation has been approved. </div>
+
+
+<div class='interpretation' id='derivation-use-generation-ordering'>Given an activity record identified by <span class="name">pe</span>, entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, qualifiers <span class="name">q1</span> and <span class="name">q2</span>, <span class='conditional'>if</span> the assertion <span class="name">wasDerivedFrom(e2,e1,pe,q2,q1)</span>
 or <span class="name">wasDerivedFrom(e2,e1)</span> holds, <span class='conditional'>then</span>
 the use
 of entity denoted by <span class="name">e1</span> precedes the generation of

--- a/model/extra.css	Mon Nov 07 12:07:06 2011 +0000
+++ b/model/extra.css	Mon Nov 07 12:25:50 2011 +0000
@@ -103,6 +103,57 @@
 
 
 
+.interpretation {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #00f;
+    background: #fff;
+}
+
+.interpretation[id]::before {
+    content:    "Interpretation: " attr(id);
+    width:  380px;  /* How can we compute the length of "Interpretation: " attr(id) */
+}
+
+
+.interpretation::before {
+    content:    "Interpretation";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #00f;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+
+.deprecatedconstraint {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #00f;
+    background: #fff;
+}
+
+.deprecatedconstraint[id]::before {
+    content:    "Deprecated: " attr(id);
+    width:  380px;  /* How can we compute the length of "Deprecatedconstraint: " attr(id) */
+}
+
+
+.deprecatedconstraint::before {
+    content:    "Deprecated";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #00f;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+
+
 .conditional {
     color: blue;
 }