--- a/model/ProvenanceModel.html	Wed Jul 20 16:30:15 2011 +0100
+++ b/model/ProvenanceModel.html	Wed Jul 20 17:33:42 2011 +0100
@@ -560,6 +560,28 @@
 
 <p>An IVP assertion is denoted <b>IVPof(B,A)</b>, where A and B are two BOBs.
 
+<p>
+<pre class="example">
+bob(rs,[created: "1870"])
+
+bob(rs_l1,[location: "loc2"])
+bob(rs_l2,[location: "The Mall"])
+
+bob(rs_m1,[membership: "250", year: "1900"])
+bob(rs_m2,[membership: "300", year: "1945"])
+bob(rs_m3,[membership: "270",  year: "2010"])
+
+ivpOf(rs_m3, rs_l2)
+ivpOf(rs_m2, rs_l1)
+ivpOf(rs_m2, rs_l2)
+ivpOf(rs_m1, rs_l1)
+
+ivpOf(rs_l1, rs)
+ivpOf(rs_l2, rs)
+</pre>
+</p>
+
+
 <div class="note"> What follows below definitely needs revision</div>
 
 <div class="note"> I didn't reall attempt any serious rewriting here</div>
@@ -597,7 +619,7 @@
 </p>
 
 <p>
-It is OPTIONAL to assert recipe links.
+It is OPTIONAL to assert recipe links in process executions.
 </p>
 
 
@@ -721,6 +743,8 @@
 
 <section id="concept-ViewsOrAccount">
 <h3>View Or Account</h3>
+
+<p> an account is a set of assertions, forming a perspective on the world.</p>
 </section>
 
 <section id="concept-Collection">