--- a/model/ProvenanceModel.html Wed Sep 14 12:05:44 2011 +0100
+++ b/model/ProvenanceModel.html Wed Sep 14 12:15:01 2011 +0100
@@ -907,10 +907,10 @@
<p>In PROV-DM, a <dfn id="dfn-Use">use expression</dfn> is a representation of a world event: the consumption of a characterized thing by an activity. The representation includes a description of the function of this thing with respect to the activity.</p>
-<p>In PROV-ASN, a use expression's text matches the <span class='nonterminal'>use</span> production of the grammar defined in this specification document.</p>
+<p>In PROV-ASN, a use expression's text matches the <span class='nonterminal'>useExpression</span> production of the grammar defined in this specification document.</p>
<div class='grammar'>
-<span class="nonterminal">use</span> :=
+<span class="nonterminal">useExpression</span> :=
<span class="name">used</span>
<span class="name">(</span>
<span class="nonterminal">identifier</span>
@@ -955,19 +955,18 @@
<div class='constraint' id='use-attributes'><a name="PIL:0005">
-Given a process execution <span class="name">pe</span>, entity <span class="name">e</span>, role <span class="name">r</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
- assertion <span class="name">used(pe,e,r)</span> or <span class="name">used(pe,e,r,t)</span> holds,
-<span class='conditional'>then</span> the existence of an attribute-value pair of <span class="name">e</span> is a
-pre-condition for the activity denoted by <span class="name">pe</span> to terminate.</a>
+Given a process execution expression identified by <span class="name">pe</span>, entity expression identified by <span class="name">e</span>, qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
+ assertion <span class="name">used(pe,e,q)</span> or <span class="name">used(pe,e,q,t)</span> holds,
+<span class='conditional'>then</span> the existence of an attribute-value pair in the entity expression identified by <span class="name">e</span> is a
+pre-condition for the activity represented by the process execution identified by <span class="name">pe</span> to terminate.</a>
[<a href="../ontology/ProvenanceFormalModel.html#PIL:0005">PIL:0005</a>]</div>
-<div class='constraint' id='use-pe-ordering'><a name="PIL:0006">Given a process execution <span class="name">pe</span>, entity <span class="name">e</span>, role <span class="name">r</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
- assertion <span class="name">used(pe,e,r)</span> or <span class="name">used(pe,e,r,t)</span> holds, <span class='conditional'>then</span> one can
-infer that the use of the thing represented by entity expression identified by <span class="name">e</span> precedes the end
-of the process execution expression <span class="name">pe</span> and follows its beginning. Furthermore, we
-can infer that the generation of the thing denoted by <span class="name">e</span> always precedes
+<div class='constraint' id='use-pe-ordering'><a name="PIL:0006">Given a process execution expression identified by <span class="name">pe</span>, entity expression identified by <span class="name">e</span>, qualifier <span class="name">q</span>, and optional time <span class="name">t</span>, <span class='conditional'>if</span>
+ assertion <span class="name">used(pe,e,q)</span> or <span class="name">used(pe,e,q,t)</span> holds, <span class='conditional'>then</span>
+ the use of the thing represented by entity expression identified by <span class="name">e</span> precedes the end
+of the process execution expression identified by <span class="name">pe</span> and follows its beginning. Furthermore, the generation of the thing denoted by entity expression identified by <span class="name">e</span> always precedes
its use.</a>
[<a href="../ontology/ProvenanceFormalModel.html#PIL:0006">PIL:0006</a>] </div>