--- a/rdf-mt/tests/README	Wed Oct 02 10:43:44 2013 -0700
+++ b/rdf-mt/tests/README	Wed Oct 02 15:43:27 2013 -0700
@@ -9,7 +9,7 @@
 All tests have 
 - a name (mf:name),
 - an input RDF graph (mf:action),
-- an output RDF graph or the special marker mf:false (mf:result),
+- an output RDF graph or the special marker false (mf:result),
 - an entailment regime, which is "simple", "RDF", or "RDFS" (mf:entailmentRegime),
 - a list of recognized datatypes (mf:recognizedDatatypes),
 - a list of unrecognized datatypes (mf:unrecognizedDatatypes).
@@ -22,7 +22,7 @@
    none of the datatypes in the list of unrecognized datatypes,
 - for tests that have an output graph, determines that the input RDF graph
   entails (does not entail) the output RDF graph
-- for tests that have mf:false as output, either determines that the input
+- for tests that have false as output, either determines that the input
   RDF graph entails (does not entail) an inconsistent RDF graph or that the
   input RDF graph is inconsistent (consistent).
 

--- a/rdf-mt/tests/manifest.ttl	Wed Oct 02 10:43:44 2013 -0700
+++ b/rdf-mt/tests/manifest.ttl	Wed Oct 02 15:43:27 2013 -0700
@@ -72,7 +72,7 @@
   mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes-intensional/test001.nt>;
-  mf:result mf:false .
+  mf:result false .
     
 <#datatypes-intensional-xsd-integer-string-incompatible> a mf:PositiveEntailmentTest;
   mf:name "datatypes-intensional-xsd-integer-string-incompatible";
@@ -86,7 +86,7 @@
   mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes-intensional/test002.nt>;
-  mf:result mf:false .
+  mf:result false .
     
 <#datatypes-non-well-formed-literal-1> a mf:NegativeEntailmentTest;
   mf:name "datatypes-non-well-formed-literal-1";
@@ -101,7 +101,7 @@
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( xsd:integer ) ;
   mf:action <datatypes/test002.nt>;
-  mf:result mf:false .
+  mf:result false .
     
 <#datatypes-non-well-formed-literal-2> a mf:PositiveEntailmentTest;
   mf:name "datatypes-non-well-formed-literal-2";
@@ -118,7 +118,7 @@
   mf:recognizedDatatypes ( xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test002.nt>;
-  mf:result mf:false. 
+  mf:result false. 
     
 <#datatypes-semantic-equivalence-within-type-1> a mf:PositiveEntailmentTest;
   mf:name "datatypes-semantic-equivalence-within-type-1";
@@ -169,7 +169,7 @@
   mf:recognizedDatatypes ( xsd:decimal xsd:string ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test006.nt>;
-  mf:result mf:false .
+  mf:result false .
     
 <#datatypes-test008> a mf:PositiveEntailmentTest;
   mf:name "datatypes-test008";
@@ -208,7 +208,7 @@
   mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test010.nt>;
-  mf:result mf:false .
+  mf:result false .
     
 <#datatypes-plain-literal-and-xsd-string> a mf:PositiveEntailmentTest;
   mf:name "datatypes-plain-literal-and-xsd-string";
@@ -422,7 +422,7 @@
   mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-entailment/test001.nt>;
-  mf:result mf:false .
+  mf:result false .
     
 <#rdfs-entailment-test002> a mf:PositiveEntailmentTest;
   mf:name "rdfs-entailment-test002";
@@ -434,7 +434,7 @@
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
-  mf:action mf:false;
+  mf:action false;
   mf:result <rdfs-entailment/test002.nt> .
     
 <#rdfs-no-cycles-in-subClassOf-test001> a mf:PositiveEntailmentTest;
@@ -479,7 +479,7 @@
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <rdfs-subClassOf-a-Property/test001.nt>;
-  mf:result mf:false .
+  mf:result false .
     
 <#rdfs-subPropertyOf-semantics-test001> a mf:PositiveEntailmentTest;
   mf:name "rdfs-subPropertyOf-semantics-test001";
@@ -603,7 +603,7 @@
   mf:recognizedDatatypes ( xsd:int ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <xmlsch-02/test002.ttl>;
-  mf:result mf:false .
+  mf:result false .
     
 <#xmlsch-02-whitespace-facet-3> a mf:PositiveEntailmentTest;
   mf:name "xmlsch-02-whitespace-facet-3";