--- a/model/ProvenanceModel.html	Mon Nov 07 22:54:23 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Nov 08 09:17:40 2011 +0000
@@ -2162,37 +2162,40 @@
 
 <p>
 A PROV-DM Literal represents a data value such as a particular string
-or number.  A PROV-DM Literal is a "leaf" value, since it does not
-refer to any other PROV-DM construct. Among the PROV-DM Literals, we
-find URIs allowing outgoing relations to resources outside the scope
-of PROV-DM.
+or number.  A PROV-DM Literal represents a value whose interpretation is outside the scope of PROV-DM.
 </p>
 
 <p>In PROV-ASN, a Literal's text matches the <span class="nonterminal">Literal</span> production of the grammar defined in this specification document.</p>
 
 <div class='grammar'>
-<span class="nonterminal">Literal</span> &nbsp;:= <span class="nonterminal">typedLiteral</span> | <span class="nonterminal">stringLiteralNoLanguage</span> | <span class="nonterminal">stringLiteralWithLanguage</span></br>
+<span class="nonterminal">Literal</span> &nbsp;:= <span class="nonterminal">typedLiteral</span> | <span class="nonterminal">stringConvenienceNotation</span> </br>
 <span class="nonterminal">typedLiteral</span> := <span class="nonterminal">quotedString</span> <span class="name">^^</span> <span class="nonterminal">Datatype</span></br>
+<span class="nonterminal">Datatype</span> := <span class="nonterminal">IRI</span></br>
+</br>
+<span class="nonterminal">stringConvenienceNotation</span> &nbsp;:= <span class="nonterminal">stringLiteralNoLanguage</span> | <span class="nonterminal">stringLiteralWithLanguage</span></br>
 <span class="nonterminal">stringLiteralNoLanguage</span> := <span class="nonterminal">quotedString</span></br>
 <span class="nonterminal">stringLiteralWithLanguage</span> := <span class="nonterminal">quotedString</span> <span class="nonterminal">languageTag</span></br>
-<span class="nonterminal">Datatype</span> := <span class="nonterminal">IRI</span></br>
 
 <span class="nonterminal">languageTag</span> := <em>@ (U+40) by followed a nonempty sequence of characters matching the langtag production from [[!BCP47]]</em>
 </div>
 
-<p><span class="nonterminal">stringLiteralNoLanguage</span> and
+<p>The non terminals <span class="nonterminal">stringLiteralNoLanguage</span> and
 <span class="nonterminal">stringLiteralWithLanguage</span>
-are syntactic sugar for quoted strings with datatype IRI <span class="name">xsd:string</span>.
+are syntactic sugar for quoted strings with datatype <span class="name">xsd:string</span>.
 </p>
 
+<p> In particular, a PROV-DM Literal may be a URI-typed string (with datatype <span class="name">xsd:anyURI</span>), or URI-denoted resource (with datatype <span class="name">rdf:resource</span>); in either case; such URI has no specific interpretation int he context of PROV-DM.</p>
+
+
 <p>
-The following examples respectively are the string "abc", the string "abc" with language english, the string "abc", the integer number "1", and the URI "http://example.org/foo"
+The following examples respectively are the string "abc", the string "abc" with language english, the string "abc", the integer number "1", the URI "http://example.org/foo", and the resource denoted by "http://example.org/foo"
 <pre class="example">
   "abc"
   "abc"@en
   "abc"^^xsd:string
   "1"^^xsd:int
   "http://example.org/foo"^^xsd:anyURI
+  "http://example.org/foo"^^rdf:resource
 </pre>