--- a/model/releases/WD-prov-dm-20120724/Overview.html	Fri Jul 13 15:14:01 2012 +0100
+++ b/model/releases/WD-prov-dm-20120724/Overview.html	Fri Jul 13 15:19:31 2012 +0100
@@ -11,6 +11,457 @@
 
 <!-- see http://www.somacon.com/p141.php for table configuration -->
     <style type="text/css">
+
+/* --- EDITORIAL NOTES --- */
+.component1-color {
+ background-color: rgba(255,42,42,0.2);
+}
+
+.component3-color {
+ background-color: rgba(0,68,170,0.2);
+}
+
+.component2-color {
+ background-color: rgba(0,170,0,0.2);
+}
+.component4-color {
+ background-color: rgba(244,105,14,0.2);
+}
+
+.component6-color {
+ background-color: rgba(11,40,40,0.2);
+}
+
+.component5-color {
+ background-color: rgba(204,255,0,0.2);
+}
+
+.pending {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #BFEFFF;
+}
+
+.pending::before {
+    content:    "Pending Review";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+
+.resolved {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #9BCD9B;
+}
+
+.resolved::before {
+    content:    "Resolved";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+
+.inference {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #fff;
+}
+
+.inference[id]::before {
+    content:    "Inference: " attr(id);
+    width:  380px;  /* How can we compute the length of "Constraint: " attr(id) */
+}
+
+
+.inference::before {
+    content:    "Inference";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+.syntax {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #fff;
+}
+
+.syntax[id]::before {
+    content:    "Syntax: " attr(id);
+    width:  380px;  /* How can we compute the length of "Constraint: " attr(id) */
+}
+
+
+.syntax::before {
+    content:    "Syntax";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+.unamedconstraint {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #00f;
+    background: #fff;
+}
+
+
+.unamedconstraint::before {
+    content:    "Constraint";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #00f;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+
+
+.constraint {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #00f;
+    background: #fff;
+}
+
+.constraint[id]::before {
+    content:    "Constraint: " attr(id);
+    width:  380px;  /* How can we compute the length of "Constraint: " attr(id) */
+}
+
+
+.constraint::before {
+    content:    "Constraint";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #00f;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+
+
+.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;
+}
+
+.definition {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #777;
+    background: #fff;
+}
+
+.definition[id]::before {
+    content:    "Definition: " attr(id);
+    width:  380px; 
+}
+
+
+.definition::before {
+    content:    "Definition";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #000;
+    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;
+}
+
+.glossary-ref {
+    font-style:    italic;
+}
+
+.dfn {
+    font-weight:    bold;
+}
+
+
+.attribute {
+    font-style: italic;
+}
+
+
+.conditional {
+    color: blue;
+}
+
+.grammar {
+    margin-top: 1ex;
+    margin-bottom: 1ex;
+    padding-left: 1ex;
+    padding-right: 1ex;
+    padding-top: 1ex;
+    padding-bottom: 0.6ex;
+    border: 1px dashed #2f6fab;
+    font-size: 80%;
+}
+.nonterminal {
+    font-weight: bold;
+    font-family: sans-serif;
+    font-size: 95%;
+}
+
+.name {
+    font-family: monospace;
+}
+
+
+.xmpl {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #fff;
+}
+
+.xmpl::before {
+    content:    "Example";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;
+    font-weight:    bold;
+    border: 1px solid #f00;
+    background: #fff;
+    padding:    3px 1em;
+}
+
+/* 
+generating this through java script now.
+
+.anexample[data-count]::before {
+    content: "Example " attr(data-count) ;
+    font-family: sans-serif;
+    font-size: 1.6ex;
+    font-weight: bold;
+}
+
+
+.anexample:before {
+    content: "Example:";
+    font-family: sans-serif;
+    font-size: 1.6ex;
+    font-weight: bold;
+}
+
+*/
+
+.anexample {
+    margin-top: 1ex;
+    margin-bottom: 1ex;
+    padding-left: 1ex;
+    padding-right: 1ex;
+    padding-top: 1ex;
+    padding-bottom: 0.6ex;
+    border: 1px dashed #2f6fab;
+    background-color: #f9f9f9;
+}
+.anexample table {
+    background-color: #f9f9f9;
+}
+
+.anexampleTitle {
+    font-family: sans-serif;
+    font-size: 1.6ex;
+    font-weight: bold;
+}
+
+.anexampleTitle {
+    font-family: sans-serif;
+    font-size: 1.6ex;
+    font-weight: bold;
+}
+
+
+.diamond {
+    font-weight: normal;
+    font-size:100%;
+    font-family: sans-serif;
+}
+
+
+div[class="grammar"] span[class="name"]:before {
+    content: "'";
+}
+
+div[class="grammar"] span[class="name"]:after {
+    content: "'";
+}
+
+
+div[class="grammar"] span[class="optional"]:before {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: "(";
+}
+
+div[class="grammar"] span[class="optional"]:after {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: ")?";
+}
+
+
+div[class="grammar"] span[class="plus"]:before {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: "(";
+}
+
+div[class="grammar"] span[class="plus"]:after {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: ")+";
+}
+
+
+div[class="grammar"] span[class="star"]:before {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: "(";
+}
+
+div[class="grammar"] span[class="star"]:after {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: ")*";
+}
+
+div[class="grammar"] span[class="choice"]:before {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: "(";
+}
+
+div[class="grammar"] span[class="choice"]:after {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: ")";
+}
+
+div[class="grammar"] span[class="group"]:before {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: "(";
+}
+
+div[class="grammar"] span[class="group"]:after {
+    font-weight: normal;
+    font-size:130%;
+    font-family: monospace;
+    content: ")";
+}
+
+table {
+    background-color: #f9f9f9;
+}
+
+
+.interpretation-forward::before {
+    content:    "Interpretation: ";
+    font-weight:    bold;
+}
+
+.structural-forward::before {
+    content:    "Structural constraint: ";
+    font-weight:    bold;
+}
+
+.essential {
+    font-weight: bold;
+}
+
+.provType::before {
+}
+
+.pnExpression {
+    font-weight: normal;
+    font-size:120%;
+    font-family: monospace;
+}
+
       .note { font-size:small; margin-left:50px }
 
 .diamond {

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/releases/WD-prov-dm-20120724/examples/w3c-publication1.provn	Fri Jul 13 15:19:31 2012 +0100
@@ -0,0 +1,41 @@
+
+
+bundle ex:author-view
+
+prefix ex <http://example.org/>
+prefix w3  <http://www.w3.org/>
+prefix tr  <http://www.w3.org/TR/2011/>
+
+entity(tr:WD-prov-dm-20111215, [ prov:type="document", ex:version="2" ])
+
+agent(ex:Luc,     [ prov:type='prov:Person' ])
+agent(ex:Paolo,   [ prov:type='prov:Person' ])
+agent(ex:Khalid,  [ prov:type='prov:Person' ])
+agent(ex:Stephen, [ prov:type='prov:Person' ])
+agent(ex:Yolanda, [ prov:type='prov:Person' ])
+agent(ex:Ryan,    [ prov:type='prov:Person' ])
+agent(ex:Paul,    [ prov:type='prov:Person' ])
+agent(ex:Graham,  [ prov:type='prov:Person' ])
+agent(ex:Jim,     [ prov:type='prov:Person' ])
+agent(ex:Simon,   [ prov:type='prov:Person' ])
+agent(ex:James,   [ prov:type='prov:Person' ])
+agent(ex:Satya,   [ prov:type='prov:Person' ])
+
+activity(ex:edit1,[prov:type="edit"])
+
+wasGeneratedBy(tr:WD-prov-dm-20111215, ex:edit1)
+
+wasAssociatedWith(ex:edit1, ex:Luc, -,     [prov:role="editor"])
+wasAssociatedWith(ex:edit1, ex:Paolo, -,   [prov:role="editor"])
+wasAssociatedWith(ex:edit1, ex:Khalid, -,  [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Stephen, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Yolanda, -, [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Ryan, -,    [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Paul, -,    [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Graham, -,  [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Jim, -,     [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Simon, -,   [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:James, -,   [prov:role="contributor"])
+wasAssociatedWith(ex:edit1, ex:Satya, -,   [prov:role="contributor"])
+
+endBundle

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/releases/WD-prov-dm-20120724/examples/w3c-publication2.provn	Fri Jul 13 15:19:31 2012 +0100
@@ -0,0 +1,44 @@
+
+
+bundle ex:process-view
+
+prefix ex  <http://example.org/>
+
+prefix w3      <http://www.w3.org/>
+prefix tr      <http://www.w3.org/TR/2011/>
+prefix process <http://www.w3.org/2005/10/Process-20051014/tr.html#>
+prefix email   <https://lists.w3.org/Archives/Member/w3c-archive/>
+prefix chairs  <https://lists.w3.org/Archives/Member/chairs/>
+prefix trans   <http://www.w3.org/2005/08/01-transitions.html#>
+prefix rec54   <http://www.w3.org/2001/02pd/rec54#>
+
+
+  entity(tr:WD-prov-dm-20111018, [ prov:type='rec54:WD' ])
+  entity(tr:WD-prov-dm-20111215, [ prov:type='rec54:WD' ])
+  entity(process:rec-advance,    [ prov:type='prov:Plan' ])
+
+
+  entity(chairs:2011OctDec/0004, [ prov:type='trans:transreq' ])
+  entity(email:2011Oct/0141,     [ prov:type='trans:pubreq' ])
+  entity(email:2011Dec/0111,     [ prov:type='trans:pubreq' ])
+
+
+  wasDerivedFrom(tr:WD-prov-dm-20111215, tr:WD-prov-dm-20111018)
+
+
+  activity(ex:act1,-,-,[prov:type="publish"])
+  activity(ex:act2,-,-,[prov:type="publish"])
+
+  wasGeneratedBy(tr:WD-prov-dm-20111018, ex:act1, -)
+  wasGeneratedBy(tr:WD-prov-dm-20111215, ex:act2, -)
+
+  used(ex:act1, chairs:2011OctDec/0004, -)
+  used(ex:act1, email:2011Oct/0141, -)
+  used(ex:act2, email:2011Dec/0111, -)
+
+  agent(w3:Consortium, [ prov:type='prov:Organization' ])
+
+  wasAssociatedWith(ex:act1, w3:Consortium, process:rec-advance)
+  wasAssociatedWith(ex:act2, w3:Consortium, process:rec-advance)
+
+endBundle