--- a/model/ProvenanceModel.html	Wed Nov 30 14:20:06 2011 +0000
+++ b/model/ProvenanceModel.html	Wed Nov 30 14:26:02 2011 +0000
@@ -3063,9 +3063,9 @@
 <span class="nonterminal">summaryRecord</span>&nbsp;::=  
 <span class="name">wasSummaryOf</span> 
 <span class="name">(</span> 
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
 <span class="name">,</span> 
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
 <span class="optional"><span class="name">,</span>
 <span class="nonterminal">attribute-values</span>
 </span>
@@ -3088,7 +3088,7 @@
 <span class="nonterminal">originalSourceRecord</span> production.</p>
 
 
-<p> An assertion hadOriginalSource, written <span class="name"> hadOriginalSource(e2,e1)</span>, contains:</p>
+<p> An assertion hadOriginalSource, written <span class="name"> hadOriginalSource(e2,e1,attrs)</span>, contains:</p>
 <ul>
 <li><em>entity</em>: an identifier <span class="name">e1</span> for the entity record representing the original entity; </li>
 <li><em>source</em>: an identifier <span class="name">e2</span> for an entity record, representing an entity that had appeared previously;</li>
@@ -3105,9 +3105,9 @@
 <span class="nonterminal">originalSourceRecord</span>&nbsp;::=  
 <span class="name">hadOriginalSource</span> 
 <span class="name">(</span> 
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
 <span class="name">,</span> 
-<span class="nonterminal">identifier</span>
+<span class="nonterminal">eIdentifier</span>
 <span class="optional"><span class="name">,</span>
 <span class="nonterminal">attribute-values</span>
 </span>