--- a/rdf-mt/tests/manifest.ttl	Tue Nov 05 10:11:40 2013 -0500
+++ b/rdf-mt/tests/manifest.ttl	Tue Nov 05 10:18:24 2013 -0500
@@ -167,7 +167,7 @@
   """;
   rdfs:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
-  mf:recognizedDatatypes ( xsd:decimal xsd:string ) ;
+  mf:recognizedDatatypes ( xsd:integer xsd:string ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test006.nt>;
   mf:result false .
@@ -206,7 +206,7 @@
   """;
   rdfs:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
-  mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
+  mf:recognizedDatatypes ( xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test010.nt>;
   mf:result false .

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-entailment/test002p.nt	Tue Nov 05 10:18:24 2013 -0500
@@ -0,0 +1,15 @@
+#
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# MODIFIED
+# 
+#####################################################################
+<http://example.org/prop> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
+<http://example.org/foo> <http://example.org/prop> "flargh"^^<http://www.w3.org/2001/XMLSchema#string> .