--- a/model/working-copy/wd5-prov-n.html	Tue Mar 13 22:54:44 2012 +0000
+++ b/model/working-copy/wd5-prov-n.html	Wed Mar 14 07:47:19 2012 +0000
@@ -582,16 +582,66 @@
 <span class="name">)</span>
 </div>
 
+<div class="anexample">
+<pre class="codeexample">
+TODO
+</pre>
+</div>
 
 </section>
 
 <section id="term-wasInformedBy">
 <h4>Information Flow Ordering</h4>
+
+
+<div class="grammar">
+<span class="nonterminal">informationFlowOrderingExpression</span> &nbsp;::= 
+<span class="name">wasInformedBy</span>
+<span class="name">(</span>
+<span class="optional"><span class="nonterminal">identifier</span>
+<span class="name">,</span>
+</span>
+<span class="nonterminal">aIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">aIdentifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+</div>
+
+<div class="anexample">
+<pre class="codeexample">
+TODO
+</pre>
+</div>
 </section>
+
 <section id="term-wasStartedByActivity">
 <h4>Control Flow Ordering</h4>
+
+<div class="grammar">
+<span class="nonterminal">controlOrderingExpression</span> &nbsp;::= 
+<span class="name">wasStartedBy</span>
+<span class="name">(</span>
+<span class="optional"><span class="nonterminal">identifier</span>
+<span class="name">,</span>
+</span>
+<span class="nonterminal">aIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">aIdentifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+<br>
+</div>
+
+<div class="anexample">
+<pre class="codeexample">
+TODO
+</pre>
+</div>
 </section>
 </section>
+
+
 <section id="component2"> 
 <h3>Component 2: Agents and Responsibility</h3>
 <section id="term-Agent">
@@ -624,7 +674,28 @@
 </section>
 <section id="term-attribution">
 <h4>Attribution</h4>
+
+<div class="grammar">
+<span class="nonterminal">attributionExpression</span>&nbsp;::=  
+<span class="name">wasAttributedTo</span> 
+<span class="name">(</span> 
+<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span> 
+<span class="nonterminal">agIdentifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span> 
+</div>
+
+<div class="anexample">
+<pre class="codeexample">
+wasAttributedTo(e,ag)
+wasAttributedTo(e,ag,[])
+</pre>
+</div>
+
 </section>  <!-- end attribution -->
+
+
 <section id="term-ActivityAssociation">
 <h4>Activity Association</h4>
 
@@ -688,7 +759,7 @@
 <section id="Derivation-Relation">
 <h4>Derivation</h4>
 
-<p>A derivation record's text matches the <span class='nonterminal'>derivationExpression</span> production.</p>
+<p>A derivation expression's text matches the <span class='nonterminal'>derivationExpression</span> production.</p>
 
 <div class='grammar'>
 <span class="nonterminal">derivationExpression</span>&nbsp;::= 
@@ -719,15 +790,109 @@
 </section>
 <section id="term-Revision">
 <h4>Revision</h4>
+
+<div class="grammar">
+<span class="nonterminal">revisionExpression</span>&nbsp;::= 
+<span class="name">wasRevisionOf</span>
+<span class="name">(</span>
+<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">eIdentifier</span>
+<span class="optional"><span class="name">,</span>
+<span class="nonterminal">agIdentifier</span></span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+</div>
+
+
+<div class="anexample">
+<pre class="codeexample">
+TODO
+</pre>
+</div>
+
+
 </section>  <!-- end revision -->
 <section id="term-quotation">
 <h4>Quotation</h4>
+
+<p>A quotation expression's text matches the <span class="nonterminal">quotationExpression</span> production of the grammar.</p>
+
+<div class="grammar">
+<span class="nonterminal">quotationExpression</span>&nbsp;::=  
+<span class="name">wasQuotedFrom</span> 
+<span class="name">(</span> 
+<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span> 
+<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span> 
+<span class="nonterminal">agIdentifier</span>
+<span class="name">,</span> 
+<span class="nonterminal">agIdentifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span> 
+</div>
+
+
+<div class="anexample">
+<pre class="codeexample">
+TODO
+</pre>
+</div>
+
 </section>  <!-- end quotation -->
+
+
 <section id="term-orignal-source">
 <h4>Original Source</h4>
+
+<p>An original source record's text matches the <span class="nonterminal">originalSourceExpression</span> production of the grammar.</p>
+
+<div class="grammar">
+<span class="nonterminal">originalSourceExpression</span>&nbsp;::=  
+<span class="name">hadOriginalSource</span> 
+<span class="name">(</span> 
+<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span> 
+<span class="nonterminal">eIdentifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span> 
+</div>
+
+
+<div class="anexample">
+<pre class="codeexample">
+TODO
+</pre>
+</div>
+
 </section>  <!-- end original source -->
 <section id="term-traceability">
 <h4>Traceability</h4>
+
+<p>A traceability expression's text matches the <span class="nonterminal">traceabilityExpression</span> production of the grammar.</p>
+
+
+<div class="grammar">
+<span class="nonterminal">traceabilityExpression</span>&nbsp;::= 
+<span class="name">tracedTo</span>
+<span class="name">(</span>
+<span class="optional"><span class="nonterminal">identifier</span>
+<span class="name">,</span></span>
+<span class="nonterminal">eIdentifier</span>
+<span class="name">,</span>
+<span class="nonterminal">eIdentifier</span>
+<span class="nonterminal">optional-attribute-values</span>
+<span class="name">)</span>
+</div>
+
+
+<div class="anexample">
+<pre class="codeexample">
+TODO
+</pre>
+</div>
+
 </section>
 </section>
 <section id="component4"> 
@@ -758,7 +923,7 @@
 <section id="term-specialization">
 <h4>Specialization</h4>
 
-<p>A specialization relation's text matches the <span class="nonterminal">specializationExpression</span>production.</p>
+<p>A specialization relation's text matches the <span class="nonterminal">specializationExpression</span> production.</p>
 
 <div class='grammar'>
    <span class="nonterminal">specializationExpression</span>&nbsp;::=