# $Id: Manifest.n3,v 1.4 2002/07/31 14:52:29 jderoo Exp $
# PxButton | test | Euler Manifest.n3 Manifest.n3 |

#Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp 
        #    using base file:/www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf
        
#  Notation3 generation by
#       notation3.py,v 1.107 2002/03/22 21:36:00 timbl Exp

#   Base was: file:/www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.rdf
     @prefix : <http://www.w3.org/2000/01/rdf-schema#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NegativeEntailmentTest>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> """
     RDFCore WG RESOLVED that a reified statement was a stating, not a statement.
     The following entailment does not, therefore, hold.
   """;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> rdf:,
                :;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "PENDING" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001a.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test001b.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NegativeEntailmentTest>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#approval> <http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Feb/0476.html>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#conclusionDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#description> """
     RDFCore WG RESOLVED that a statement does NOT entail its reification.
     The following entailment does not, therefore, hold.
   """;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#entailmentRules> rdf:,
                :;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#premiseDocument> <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt>;
         <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#status> "PENDING" .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002a.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/test002b.nt>     a <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#NT-Document> .
    
#ENDS