diff --git a/spec/index.html b/spec/index.html
index 901c179..5fceeb9 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -522,7 +522,11 @@ <h6 class="defcap">Semantic Conditions for Ground Graphs</h6>
             otherwise, <em>I(E) = false</em>.
           </p>
           <span class="space"></span>
-          <p>If <em>E</em> is a ground RDF graph and <em>I(E') = false</em> for some triple <em>E'</em> in <em>E</em>, then <em>I(E) = false</em>; otherwise, <em>I(E) = true</em>.
+          <p>If <em>E</em> is a ground RDF graph
+          then <em>I(E) = true</em> if<br/>
+          <em>I(p)</em> is in <em>IP</em> and the pair <em>&lt;I(s),I(o)&gt;</em>
+          is in <em>IEXT(I(p))</em><br/>
+          otherwise <em>I(E) = false</em>.
           </p>
         </div>
       </section>
@@ -559,10 +563,9 @@ <h3>Blank nodes</h3>
         <section class="notoc">
           <h6 class="defcap">Semantic Condition for Blank Nodes</h6>
           <div class="semantictable">
-            <p>If <em>E</em> is an RDF graph and <em>[I + A](E) = true</em>
+            <p>If <em>E</em> is an RDF graph then <em>I(E) = true</em> if <em>[I+A](E) = true</em>
               for some mapping <em>A</em> from the set of blank nodes in <em>E</em>
-              to <em>IR</em>, then <em>I(E) = true</em>;
-              otherwise, <em>I(E) = false</em>.
+              to <em>IR</em>, otherwise <em>I(E) = false</em>.
             </p>
           </div>
         </section>