--- a/model/ProvenanceModel.html Wed Sep 07 13:46:48 2011 +0100
+++ b/model/ProvenanceModel.html Wed Sep 07 14:15:48 2011 +0100
@@ -1451,13 +1451,30 @@
<section id="expression-Revision">
<h3>Revision</h3>
-<p> <dfn id="dfn-Revision">Revision</dfn> represents the creation of a characterized thing considered to be a variant of another. Deciding whether something is made available as a revision of something else usually involves an agent who is responsible for declaring that the former is variant of the latter. </p>
+<p> A <dfn id="dfn-Revision">revision expression</dfn> is a representation of the creation of a characterized thing considered to be a variant of another. Deciding whether something is made available as a revision of something else usually involves an agent who is responsible for declaring that the former is variant of the latter. </p>
-<p>An assertion wasRevisionOf, noted <span class="name">wasRevisionOf(e2,e1,ag)</span>:
+<p>In the Provenance Abstract Syntax Notation, a revision expression's text matches the <span class="nonterminal">revision</span> production of the grammar defined in this specification document.
+</p>
+
+<div class='grammar'>
+<span class="nonterminal">revision</span> :=
+<span class="name">wasRevisionOf</span>
+<span class="name">(</span>
+<span class="nonterminal">identifier</span>
+<span class="name">,</span>
+<span class="nonterminal">identifier</span>
+[<span class="name">,</span>
+<span class="nonterminal">identifier</span>]
+<span class="name">)</span>
+</div>
+
+
+
+<p>An instance of a revision expression, noted <span class="name">wasRevisionOf(e2,e1,ag)</span> in the Provenance Abstract Syntax Notation:
<ul>
-<li> refers to an entity <span class="name">e2</span>, denoting a newer version of a thing;
-<li> refers to an entity <span class="name">e1</span>, denoting a older version of a thing;
-<li> MAY refer to a responsible agent <span class="name">ag</span>.
+<li> contains an identifier <span class="name">e2</span> denoting an entity that represents a newer version of a thing;
+<li> contains an identifier <span class="name">e1</span> denoting an entity that represents an older version of a thing;
+<li> MAY refer to a responsible agent denoted by identifier <span class="name">ag</span>.
</ul>
</p>