--- a/model/prov-constraints.html Thu Jun 07 11:09:50 2012 +0100
+++ b/model/prov-constraints.html Thu Jun 07 11:17:00 2012 +0100
@@ -2123,7 +2123,7 @@
<span class="name">memberOf(d, {(<em>k1</em>, <em>e1</em>) ... (<em>kn</em>, <em>en</em>)})</span>,
<span class='conditional'>THEN</span>:</p>
<ul>
-<li> <span class="name">contents(d,<em>k</em>)='?'</span> if <em>k</em> is not in <em>k1</em>, ..., <em>kn</em>;
+<li> <span class="name">contents(d,<em>k</em>)=?</span> if <em>k</em> is not in <em>k1</em>, ..., <em>kn</em>;
<li> <span class="name">contents(d,<em>ki</em>)=<em>ei</em></span> if <em>k</em> is in <em>k1</em>, ..., <em>kn</em>.
</ul>
</div>
@@ -2139,7 +2139,7 @@
<span class="name">memberOf(d, {(<em>k1</em>, <em>e1</em>) ... (<em>kn</em>, <em>en</em>)}, true)</span>,
<span class='conditional'>THEN</span>:</p>
<ul>
-<li> <span class="name">contents(d,<em>k</em>)='⊥'</span> if <em>k</em> is not in <em>k1</em>, ..., <em>kn</em>;
+<li> <span class="name">contents(d,<em>k</em>)=⊥</span> if <em>k</em> is not in <em>k1</em>, ..., <em>kn</em>;
<li> <span class="name">contents(d,<em>ki</em>)=<em>ei</em></span> if <em>k</em> is in <em>k1</em>, ..., <em>kn</em>.
</ul>
</div>
@@ -2147,7 +2147,7 @@
-<p id="contents-after-complete-membership_text">Looking up a key in a dictionary results in an entity, which is an alternate of an entity known to be in the contents. </p>
+<p id="contents-after-complete-membership_text">Succcessfully looking up a key in a dictionary results in an entity, which is an alternate of an entity known to be in the dictionary. </p>
<div class='inference' id="lookup-and-membership">
<p>