diff --git a/spec/index.html b/spec/index.html
index 7f0035b..d60b7e5 100644
--- a/spec/index.html
+++ b/spec/index.html
@@ -500,9 +500,13 @@ <h3>Blank nodes</h3>
       to the universe IR of I.
       Define the mapping [I+A] as:</p>
       <ul>
-	<li> [I+A](x)=I(x) when x is a <a>name</a>, </li>
-	<li> [I+A](x)=A(x) when x is a blank node, </li>
-	<li> [I+A](x)= RE( [I+A](x.s), [I+A](x.p), [I+A](x.o) )  where x.s, x.p, and x.o are the first, second, and third components of x, respectively. </li>
+	<li> [I+A](x)=I(x) when x is a <a>name</a>; </li>
+	<li> [I+A](x)=A(x) when x is a blank node; </li>
+	<li> [I+A](x)= RE( [I+A](x.s), [I+A](x.p), [I+A](x.o) ) when x is a triple term, where x.s, x.p, and x.o are the first, second, and third components of x, respectively; </li>
+	<li> [I+A](x)=true when x is a triple and [I+A](p) is in IP and the pair <[I+A](s),[I+A](o)> is in IEXT([I+A](p));</li>
+	<li> [I+A](x)=false when x is a triple, otherwise;
+	<li> [I+A](x)=false if x is an RDF graph and [I+A](x')=false for some triple x' in x;</li>
+    <li> [I+A](x)=true if x an RDF graph, otherwise</li>
       </ul>
       <p>
       Extend this mapping to triples and RDF graphs using the rules given above for ground graphs.