--- a/model/ProvenanceModel.html	Tue Nov 29 22:49:06 2011 +0000
+++ b/model/ProvenanceModel.html	Wed Nov 30 13:10:07 2011 +0000
@@ -2976,7 +2976,7 @@
 
 <div class='grammar'>
 <span class="nonterminal">quotationRecord</span>&nbsp;::=  
-<span class="name">wasQuoteFrom</span> 
+<span class="name">wasQuotedFrom</span> 
 <span class="name">(</span> 
 <span class="nonterminal">identifier</span>
 <span class="name">,</span> 
@@ -2989,7 +2989,7 @@
 </div>
 
 
-<p>  A quotation record, written <span class="name"> wasQuoteFrom(e2,e1,ag2,ag1)</span>:</p>
+<p>  A quotation record, written <span class="name"> wasQuotedFrom(e2,e1,ag2,ag1)</span>:</p>
 <ul>
 <li>contains an identifier  <span class="name">e2</span>, identifying an entity record that represents the quote; 
 <li>contains an identifier  <span class="name">e1</span>, identifying an entity record representing what is being quoted;
@@ -2999,7 +2999,7 @@
 
 <div class='constraint' id='quotation-implication'>
 <span class='conditional'>If</span>
-<span class="name">wasQuoteFrom(e2,e1,ag2,ag1)</span> holds for some identifiers
+<span class="name">wasQuotedFrom(e2,e1,ag2,ag1)</span> holds for some identifiers
 <span class="name">e2</span>, <span class="name">e1</span>, <span class="name">ag2</span>, <span class="name">ag1</span>, 
 <span class='conditional'>then</span> the following records hold:
 <pre>