--- a/model/ProvenanceModel.html	Fri Nov 18 11:32:55 2011 +0000
+++ b/model/ProvenanceModel.html	Fri Nov 18 11:37:55 2011 +0000
@@ -2448,11 +2448,11 @@
 an activity precedes the start of another activity.
 </p>
 
-<p>In PROV-ASN, an activity ordering record's text matches the <span class="nonterminal">peOrderingRecord</span> production of the grammar defined in this specification document.
+<p>In PROV-ASN, an activity ordering record's text matches the <span class="nonterminal">activityOrderingRecord</span> production of the grammar defined in this specification document.
 </p>
 
 <div class='grammar'>
-<span class="nonterminal">peOrderingRecord</span>&nbsp;:= 
+<span class="nonterminal">activityOrderingRecord</span>&nbsp;:= 
 <span class="nonterminal">informationFlowOrderingRecord</span> |
 <span class="nonterminal">controlOrderingRecord</span>
 <br/>
@@ -2818,9 +2818,9 @@
 account(acc1,
         http://example.org/asserter1,
 
-        entity(urn:example:0, [ type="Document", location="http://example.org/crime.txt" ])
-        entity(urn:example:1, [ type="Document", location="http://example.org/crime.txt", version="2.1", content="...", date="2011-10-07" ])
-        entity(urn:example:2, [ type="Document", author="John" ])
+        entity(urn:example:0, [ prov:type="Document", ex:path="http://example.org/crime.txt" ])
+        entity(urn:example:1, [ prov:type="Document", ex:path="http://example.org/crime.txt", ex:version="2.1", ex:content="...", ex:date="2011-10-07" ])
+        entity(urn:example:2, [ prov:type="Document", ex:author="John" ])
         ...)
 </pre>
 
@@ -2833,18 +2833,18 @@
 account(acc2,
         http://example.org/asserter1,
 
-        entity(http://example.org/crime.txt, [ type="Document", location="http://example.org/crime.txt" ])
+        entity(http://example.org/crime.txt, [ prov:type="Document", ex:path="http://example.org/crime.txt" ])
         ...)
 
 account(acc3,
         http://example.org/asserter1,
 
-        entity(http://example.org/crime.txt, [ type="Document", location="http://example.org/crime.txt", version="2.1", content="...", date="2011-10-07" ])
+        entity(http://example.org/crime.txt, [ prov:type="Document", ex:path="http://example.org/crime.txt", ex:version="2.1", ex:content="...", ex:date="2011-10-07" ])
         ...)
 
 account(acc4,
         http://example.org/asserter1,
-        entity(http://example.org/crime.txt, [ type="Document", author="John" ])
+        entity(http://example.org/crime.txt, [ prov:type="Document", ex:author="John" ])
         ...)
 </pre>
 
@@ -2856,8 +2856,8 @@
 account(acc5,
         http://example.org/asserter1,
 
-        entity(http://example.org/crime.txt, [ type="Document", location="http://example.org/crime.txt" ])
-        entity(urn:example:1, [ type="Document", location="http://example.org/crime.txt", version="2.1", content="...", date="2011-10-07" ])
+        entity(http://example.org/crime.txt, [ prov:type="Document", ex:path="http://example.org/crime.txt" ])
+        entity(urn:example:1, [ prov:type="Document", location="http://example.org/crime.txt", version="2.1", ex:content="...", ex:date="2011-10-07" ])
 
         ...)