--- a/rdf-mt/index.html	Fri Mar 01 13:32:16 2013 -0600
+++ b/rdf-mt/index.html	Fri Mar 01 13:40:28 2013 -0600
@@ -926,15 +926,6 @@
 
 <p>No other semantic constraints are imposed upon rdf-D-interpretations, so RDF imposes no particular normative meanings on the rest of the RDF vocabulary. Some consequences of this are discussed in Appendix ///</p>
 
-<p> The last condition gives entailments of this form for recognized datatypes: </p>
-
-<p><code>aaa ppp "nnn"^^xsd:number .</code></p>
-
-<p>rdf-{<code>xsd:number</code>}-entails</p>
-
-<code>aaa ppp _:x . <br/> _:x rdf:type xsd:number .</code>
-
-</p>
 
 <p>An <em>rdf-interpretation</em>, or <em>RDF interpretation</em>, is an rdf-{<code>rdf:langString</code>, <code>xsd:string</code> }-interpretation, i.e. an rdf-D-Interpretation with a minimal set D. The datatypes <code>rdf:langString</code> and <code>xsd:string</code> must be recognized by all RDF interpretations. </p><p>The RDF built-in datatypes <code>rdf:XMLLiteral</code> and <code>rdf:HTML</code> are defined in ///RDF Concepts///. RDF interpretations are not required to recognize these datatypes. </p>
 
@@ -947,6 +938,15 @@
   for example, all the rdf axioms are true in every <a href="#rdfinterpdef" class="termref">rdf-interpretation</a>, so are rdf-D-entailed by the empty graph, 
   contradicting the <a href="#interplemma" class="termref">interpolation lemma</a> for rdf-D-entailment. Section //// gives rules that can be used to detect RDF entailment between RDF graphs. </p>
 
+<p> The last semantic condition in the above table gives entailments of this form for recognized datatypes: </p>
+
+<p><code>aaa ppp "nnn"^^xsd:number .</code></p>
+
+<p>rdf-{<code>xsd:number</code>}-entails</p>
+
+<code>aaa ppp _:x . <br/> _:x rdf:type xsd:number .</code>
+
+</p>