# $Id: etc.n3,v 1.5 2001/11/26 08:42:33 amdus Exp $
# PxButton | test | java -Dhttp_proxy=%http_proxy% Euler etc.n3 | entailment test case

@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix etc: <http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment#> .

[] etc:supportsProofOf
    [ etc:blunt <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test001.nt>,
                <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test002.nt>,
                <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test003.nt>;
      etc:kind <http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/rdf-rules.n3>,
               <http://www.w3.org/2000/10/rdf-tests/rdfcore/entailment/rdfs-rules.n3>;
      etc:sharp <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/test004.nt> ] .