--- a/model/ProvenanceModel.html Wed Oct 05 15:26:45 2011 +0100
+++ b/model/ProvenanceModel.html Wed Oct 05 15:29:09 2011 +0100
@@ -367,10 +367,11 @@
</p>
<p>
-Event evt4: David edits (pe3) file /share/crime.txt as follows.
+Event evt4: David edits (pe3) file /share/crime.txt as follows.</p>
<pre>
There was a lot of crime in London and New-York last month.
</pre>
+<p>
We denote this e3.
</p>
@@ -401,7 +402,7 @@
-<p>These entity expression list attributes that have been given values during intervals delimited by events; such intervals are referred to as <em>characterization intervals</em>. The following table lists all entity identifiers and their corresponding characterization intervals. When the end of the characterization interval is not delimited by an event described in this scenario, it is marked by "...".
+<p>These entity expression list attributes that have been given values during intervals delimited by events; such intervals are referred to as <em>characterization intervals</em>. The following table lists all entity identifiers and their corresponding characterization intervals. When the end of the characterization interval is not delimited by an event described in this scenario, it is marked by "...".</p>
<blockquote>
<table>
<tr><td>Entity</td><td>Characterization Interval</td></tr>
@@ -414,7 +415,7 @@
<tr><td>e6</td><td>evt6 - ... </td></tr>
</table>
</blockquote>
-</p>
+
<p>
@@ -466,11 +467,11 @@
wasDerivedFrom(e4,e2,pe2,qualifier(port=smtp, section="attachment"),qualifier(fct="attach"))
wasDerivedFrom(e5,e3,pe4,qualifier(port=smtp, section="attachment"),qualifier(fct="attach"))
</pre>
-</p>
+
<p>
-wasComplementOf: (this relation is described in <a href="#expression-complement-of">Section wasComplementOf</a>). The crime statistics file (<span class="name">e0</span>) has various contents over its existence (<span class="name">e1</span>, <span class="name">e2</span>, <span class="name">e3</span>); the entity expressions identified by <span class="name">e1</span>, <span class="name">e2</span>, <span class="name">e3</span> complement <span class="name">e0</span> with an attribute content. Likewise, the one denoted by <span class="name">e6</span> complements the expression denoted by <span class="name">e3</span> with an attribute spellchecked.
+wasComplementOf: (this relation is described in <a href="#expression-complement-of">Section wasComplementOf</a>). The crime statistics file (<span class="name">e0</span>) has various contents over its existence (<span class="name">e1</span>, <span class="name">e2</span>, <span class="name">e3</span>); the entity expressions identified by <span class="name">e1</span>, <span class="name">e2</span>, <span class="name">e3</span> complement <span class="name">e0</span> with an attribute content. Likewise, the one denoted by <span class="name">e6</span> complements the expression denoted by <span class="name">e3</span> with an attribute spellchecked.</p>
<pre>
wasComplementOf(e1,e0)
wasComplementOf(e2,e0)
@@ -519,9 +520,9 @@
Provenance assertions can be illustrated as a graph.
Details about the graphical illustration can be found in <a href="#illustration-convention">appendix</a>.
-<img src="example-graphical.png"/>
-<p/>
-<img src="timeline.png"/>
+<img src="example-graphical.png" alt="example"/>
+
+<img src="timeline.png" alt="example"/>
</section>
</section>
@@ -541,7 +542,7 @@
<p>PROV-DM consists of a set of constructs to formulate representations of the world and constraints that must be satisfied by them. In PROV-ASN, such representations of the world MUST be conformant with the toplevel production <span class="nonterminal">expression</span> of the grammar. These <span class="nonterminal">expression</span>s are grouped in three categories:
<span class="nonterminal">elementExpression</span> (see section <a href="#expression-element">Element</a>),
<span class="nonterminal">relationExpression</span> (see section <a href="#expression-relation">Relation</a>), and
-<span class="nonterminal">accountExpression</span> (see section <a href="#expression-Account">Account</a>).
+<span class="nonterminal">accountExpression</span> (see section <a href="#expression-Account">Account</a>).</p>
<div class='grammar'>