--- a/model/ProvenanceModel.html Fri Sep 16 14:22:15 2011 +0100
+++ b/model/ProvenanceModel.html Fri Sep 16 14:24:43 2011 +0100
@@ -1892,7 +1892,7 @@
<span class="nonterminal">qualifier</span> :=
<span class="name">qualifier</span>
<span class="name">(</span>
-<span class="nonterminal">name-values</span> <br/>
+<span class="nonterminal">name-values</span> <span class="name">)</span> <br/>
<!-- -->
<span class="nonterminal">name-values</span> :=
<span class="nonterminal">name-value</span>
@@ -1902,7 +1902,7 @@
<span class="nonterminal">name</span>
<span class="name">=</span>
<span class="nonterminal">Literal</span>
-<span class="name">)</span></div>
+</div>
<p>Use, generation, and control expressions MUST contain a qualifier. A qualifier's sequence of name-value pairs MAY be empty. </p>
@@ -1935,7 +1935,7 @@
<p>
-The following control expression has qualifies the role of the agent in this control relation.
+The following control expression qualifies the role of the agent identified by <span class="name">a5</span> in this control relation.
<pre class="example">
wasControlledBy(pe4,a5, qualifier(role="communicator"))
</pre>