prov-n minor edit
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Mon, 28 May 2012 11:42:33 +0100
changeset 3004 4d8fb4b5a096
parent 3003 32bb947845aa
child 3005 158f5cc1c1ce
child 3006 9cf8ff48b74e
prov-n minor edit
model/prov-n.html
--- a/model/prov-n.html	Mon May 28 11:32:10 2012 +0100
+++ b/model/prov-n.html	Mon May 28 11:42:33 2012 +0100
@@ -927,7 +927,7 @@
 </pre>
 </div>
 
-<p><strong>Note:</strong>Even though the production <a class="grammarRef" href="#prod-endExpression"</a> allows for expressions <span class="name">wasEndedBy(e2, -, -)</span>  and <span class="name">wasEndedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N,
+<p><strong>Note:</strong>Even though the production <a class="grammarRef" href="#prod-endExpression">endExpression</a> allows for expressions <span class="name">wasEndedBy(e2, -, -)</span>  and <span class="name">wasEndedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N,
 since 
 at least  one of <span class='attribute'>trigger</span>, <span class='attribute'>time</span>, and  <span class='attribute'>attributes</span> MUST be present.</p>
 </section>