--- a/model/ProvenanceModel.html	Thu Nov 24 21:45:56 2011 +0000
+++ b/model/ProvenanceModel.html	Thu Nov 24 21:47:38 2011 +0000
@@ -1649,19 +1649,19 @@
 <span class="nonterminal">usageIdentifier</span>:=  <span class="nonterminal">identifier</span>
 </div>
 <div class="note">
-The grammar should make it clear that attribute <span class="name">prov:steps=1</span> is required for imprecise-1-derivationRecord.
+The grammar should make it clear that attribute <span class="name">prov:steps="1"</span> is required for imprecise-1-derivationRecord.
 </div>
 
 <div class="anexample">
 <p>The following assertions state the existence of derivations.</p>
 <pre class="codeexample">
 wasDerivedFrom(e5,e3,a4,g2,u2,[])
-wasDerivedFrom(e5,e3,a4,g2,u2,[prov:steps=1])
-
-wasDerivedFrom(e3,e2,[prov:steps=1])
+wasDerivedFrom(e5,e3,a4,g2,u2,[prov:steps="1"])
+
+wasDerivedFrom(e3,e2,[prov:steps="1"])
 
 wasDerivedFrom(e2,e1,[])
-wasDerivedFrom(e2,e1,[prov:steps=n])
+wasDerivedFrom(e2,e1,[prov:steps="n"])
 </pre>
 <p>
 The first two are precise-1 derivation records expressing that the activity represented by the activity <span class="name">a4</span>, by
@@ -1678,9 +1678,9 @@
 <p>An precise-1  derivation record is a richer  than an imprecise-1 derivation record, itself, being more informative that an imprecise-n derivation record. Hence, the following implications hold.</p>
 <div class='constraint' id='derivation-implications'>
 Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the assertion  <span class="name">wasDerivedFrom(e2, e1, a, g2, u1, attrs)</span>
- holds for some generation record identified by <span class="name">g2</span>, and usage record identified by <span class="name">u1</span>, then <span class="name">wasDerivedFrom(e2,e1,[prov:steps=1] &cup; attrs)</span> also holds.<br>
-
-Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the assertion  <span class="name">wasDerivedFrom(e2, e1, [prov:steps=1] &cup; attrs)</span>
+ holds for some generation record identified by <span class="name">g2</span>, and usage record identified by <span class="name">u1</span>, then <span class="name">wasDerivedFrom(e2,e1,[prov:steps="1"] &cup; attrs)</span> also holds.<br>
+
+Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the assertion  <span class="name">wasDerivedFrom(e2, e1, [prov:steps="1"] &cup; attrs)</span>
  holds, then <span class="name">wasDerivedFrom(e2,e1,attrs)</span> also holds.<br>
  </div>
 
@@ -1693,7 +1693,7 @@
 First, we consider one-activity derivations.</p>
 
 <div class='interpretation' id='derivation-use-generation-ordering'>Given an activity record identified by <span class="name">a</span>, entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, generation record identified by <span class="name">g2</span>, and usage record identified by <span class="name">u1</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,a,g2,u1,attrs)</span>
-or <span class="name">wasDerivedFrom(e2,e1,[prov:steps=1] &cup; attrs)</span> holds, <span class='conditional'>then</span>
+or <span class="name">wasDerivedFrom(e2,e1,[prov:steps="1"] &cup; attrs)</span> holds, <span class='conditional'>then</span>
 the <a title="entity usage event">use</a>
 of entity denoted by <span class="name">e1</span> <a>precedes</a> the <a title="entity generation event">generation</a> of
 the entity denoted by <span class="name">e2</span>.
@@ -1702,7 +1702,7 @@
 <p>Then, imprecise-n derivations.</p>
 
 <div class='interpretation' id='derivation-generation-generation-ordering'>
-Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,[prov:steps=1] &cup; attrs)</span>
+Given two entity records denoted by <span class="name">e1</span> and <span class="name">e2</span>, <span class='conditional'>if</span> the record <span class="name">wasDerivedFrom(e2,e1,[prov:steps="1"] &cup; attrs)</span>
  holds, <span class='conditional'>then</span> the
 <a title="entity generation event">generation event</a> of the entity  represented by the entity record denoted by <span class="name">e1</span> <a>precedes</a> the <a title="entity generation event">generation event</a> of
 the entity represented by the entity record denoted by <span class="name">e2</span>.
@@ -1757,7 +1757,7 @@
 <p>A further inference is permitted from the imprecise-1 derivation record: </p>
 <div class='constraint' id='derivation-use'>
 <p>Given an activity record identified by <span class="name">pe</span>, entity records identified by <span class="name">e1</span> and <span class="name">e2</span>, and set of attribute-value pairs <span class="name">attrs2</span>,
-<span class='conditional'>if</span> <span class="name">wasDerivedFrom(e2,e1, [prov:steps=1])</span> and <span class="name">wasGeneratedBy(e2,pe,attrs2)</span> hold, <span class='conditional'>then</span> <span class="name">used(pe,e1,attrs1)</span> also holds
+<span class='conditional'>if</span> <span class="name">wasDerivedFrom(e2,e1, [prov:steps="1"])</span> and <span class="name">wasGeneratedBy(e2,pe,attrs2)</span> hold, <span class='conditional'>then</span> <span class="name">used(pe,e1,attrs1)</span> also holds
 for some set of attribute-value pairs <span class="name">attrs1</span>.
 </div>
 <p>This inference is justified by the fact that the entity represented by entity record identified by <span class="name">e2</span> is generated by at most one activity in a given account (see <a href="#generation-unicity">generation-unicity</a>). Hence,  this activity record is also the one referred to in the usage record of <span class="name">e1</span>.