--- a/model/ProvenanceModel.html	Tue Dec 13 12:13:01 2011 +0100
+++ b/model/ProvenanceModel.html	Tue Dec 13 20:29:41 2011 +0000
@@ -1554,11 +1554,23 @@
 </div>
 
 
-<div class="note">
-Need an example. Can we introduce an example of plan in the File example?
-Maybe: email file hadPlan "Communication Strategy"?
+<div class="anexample">
+<p>Below, we find assertions about
+activity <span class="name">ex:a2</span>. It is said to be associated
+with two plans <span class="name">ex:s1</span>
+and <span class="name">ex:s2</span>, two strategy documents at
+specific URLs.  The first one is supersed, whereas the second, derived
+from the first, is the most recent.</p>
+<pre class="codeexample">
+entity(ex:s1,[prov:type="prov:Plan"%% xsd:QName, ex:label="Communication Strategy 1", 
+              ex:url="http://example.org/strategy1.html" %% xsd:anyURI])
+entity(ex:s2,[prov:type="prov:Plan"%% xsd:QName, ex:label="Communication Strategy 2", 
+              ex:url="http://example.org/strategy2.html" %% xsd:anyURI])
+wasDerivedFrom(ex:s2,ex:s1)
+hadPlan(ex:a2, ex:s1,[ex:kind="supersed"])
+hadPlan(ex:a2, ex:s2,[ex:kind="newest"])
+</pre>
 </div>
-
 </section>