--- a/model/prov-n.html	Mon May 28 14:58:49 2012 +0100
+++ b/model/prov-n.html	Mon May 28 15:05:24 2012 +0100
@@ -897,25 +897,56 @@
 
 
 </section>
-<section id="expression-Start">
-<h4>Start</h4>
-
+
+<section id="expression-wasInformedBy">
+<h4>Communication</h4>
 
 <!--
-<div class='grammar'>
-<span class="nonterminal">startExpression</span>&nbsp;::= 
-<span class="name">wasStartedBy</span>
+<div class="grammar">
+<span class="nonterminal">communicationExpression</span> &nbsp;::= 
+<span class="name">wasInformedBy</span>
 <span class="name">(</span>
-<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">;</span> </span>
-<span class="nonterminal">aIdentifier</span> (
+<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">,</span> </span>
+<span class="nonterminal">aIdentifier</span>
 <span class="name">,</span>
-( <span class="nonterminal">eIdentifier</span> | <span class="name">-</span> )
-<span class="name">,</span> ( <span class="nonterminal">time</span> | <span class="name">-</span> ))?
+<span class="nonterminal">aIdentifier</span>
 <span class="nonterminal">optional-attribute-values</span>
 <span class="name">)</span>
 </div>
 -->
 
+
+<table class="grammar">
+
+<tbody class="grammar-ref" data-ref="prod-communicationExpression"></tbody>
+
+</table>
+
+
+<div class="anexample">
+<pre class="codeexample">
+wasInformedBy(ex:inf1; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+</pre>
+<p>  Here <span class="name">ex:inf1</span> is the optional communication identifier,  <span class="name">ex:a1</span> is the identifier of the informed activity,
+  <span class="name">ex:a2</span> is the identifier of the informant activity,
+and <span class="name">[ex:param1="a", ex:param2="b"]</span> are optional attributes. </p>
+The remaining examples show cases where some of the optionals are omitted.
+
+<pre class="codeexample">
+wasInformedBy(ex:a1, ex:a2)
+wasInformedBy(ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+wasInformedBy(i; ex:a1, ex:a2)
+wasInformedBy(i; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
+</pre>
+</div>
+</section>
+
+
+
+<section id="expression-Start">
+<h4>Start</h4>
+
+
 <table class="grammar">
 <tbody class="grammar-ref" data-ref="prod-startExpression"></tbody>
 </table>
@@ -992,11 +1023,12 @@
 </pre>
 </div>
 
-<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>
+<p><strong>Note:</strong>Even though the production <code class="content"><a class="grammarRef" href="#prod-endExpression">endExpression</a></code> 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 <a href="http://www.w3.org/TR/prov-dm/#end.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#end.trigger"><span class='attribute'>trigger</span></a>, <a href="http://www.w3.org/TR/prov-dm/#end.ene"><span class='attribute'>ender</span></a>, <a href="http://www.w3.org/TR/prov-dm/#end.time"><span class='attribute'>time</span></a>, and  <a href="http://www.w3.org/TR/prov-dm/#end.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
 </section>
 
+
+
 <section id="expression-Invalidation">
 <h4>Invalidation</h4>
 
@@ -1043,55 +1075,14 @@
 </pre>
 </div>
 
-<p>Even though the production <a class="grammarRef" href="#prod-invalidationExpression">invalidationExpression</a> allows for expressions <span class="name">wasInvalidatedBy(e2, -, -)</span>  and <span class="name">wasInvalidatedBy(-, e2, -, -)</span>, these expressions are not valid in PROV-N, since 
-at least  one of <span class='attribute'>activity</span>, <span class='attribute'>time</span>, or  <span class='attribute'>attributes</span>  MUST be present.</p>
+<p>Even though the production  <code class="content"><a class="grammarRef" href="#prod-invalidationExpression">invalidationExpression</a></code> allows for expressions <span class="name">wasInvalidatedBy(e2, -, -)</span>  and <span class="name">wasInvalidatedBy(-; e2, -, -)</span>, these expressions are not valid in PROV-N, since 
+since at least one  of <a href="http://www.w3.org/TR/prov-dm/#invalidation.id"><span class='attribute'>id</span></a>, <a href="http://www.w3.org/TR/prov-dm/#invalidation.activity"><span class='attribute'>activity</span></a>, <a href="http://www.w3.org/TR/prov-dm/#invalidation.time"><span class='attribute'>time</span></a>, and  <a href="http://www.w3.org/TR/prov-dm/#invalidation.attributes"><span class='attribute'>attributes</span></a> MUST be present.</p>
+
 
 
 </section>
 
 
-<section id="expression-wasInformedBy">
-<h4>Communication</h4>
-
-<!--
-<div class="grammar">
-<span class="nonterminal">communicationExpression</span> &nbsp;::= 
-<span class="name">wasInformedBy</span>
-<span class="name">(</span>
-<span class="optional">( <span class="nonterminal">identifier</span> | <span class="name">-</span> ) <span class="name">,</span> </span>
-<span class="nonterminal">aIdentifier</span>
-<span class="name">,</span>
-<span class="nonterminal">aIdentifier</span>
-<span class="nonterminal">optional-attribute-values</span>
-<span class="name">)</span>
-</div>
--->
-
-
-<table class="grammar">
-
-<tbody class="grammar-ref" data-ref="prod-communicationExpression"></tbody>
-
-</table>
-
-
-<div class="anexample">
-<pre class="codeexample">
-wasInformedBy(ex:inf1; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-</pre>
-<p>  Here <span class="name">ex:inf1</span> is the optional communication identifier,  <span class="name">ex:a1</span> is the identifier of the informed activity,
-  <span class="name">ex:a2</span> is the identifier of the informant activity,
-and <span class="name">[ex:param1="a", ex:param2="b"]</span> are optional attributes. </p>
-The remaining examples show cases where some of the optionals are omitted.
-
-<pre class="codeexample">
-wasInformedBy(ex:a1, ex:a2)
-wasInformedBy(ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-wasInformedBy(i; ex:a1, ex:a2)
-wasInformedBy(i; ex:a1, ex:a2, [ex:param1="a", ex:param2="b"])
-</pre>
-</div>
-</section>
 
 <!--
 <section id="expression-startByActivity">