# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:19 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/rdfs-facts.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/rdfs-facts#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_15>} e:sequent {
{rdf:Alt a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Alt a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_15>} e:sequent {
{rdf:Alt a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:Alt rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Bag rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_16>} e:sequent {
{rdf:Bag a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Bag a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Bag rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_16>} e:sequent {
{rdf:Bag a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:Bag rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>} e:sequent {
  {rdfs:Class a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdfs:Class rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdfs:Class a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Class a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>} e:sequent {
  {rdfs:Class a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdfs:Class rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_17>} e:sequent {
{rdfs:ContainerMembershipProperty a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:ContainerMembershipProperty a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_17>} e:sequent {
{rdfs:ContainerMembershipProperty a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdfs:ContainerMembershipProperty rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:Datatype rdfs:subClassOf rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_18>} e:sequent {
{rdfs:Datatype a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Datatype a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdfs:Datatype rdfs:subClassOf rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_18>} e:sequent {
{rdfs:Datatype a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdfs:Datatype rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {rdfs:comment rdfs:range rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
  {rdfs:Literal a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdfs:Literal rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdfs:Literal a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Literal a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:range rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_30>. 
   {rdfs:comment rdfs:range rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
  {rdfs:Literal a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdfs:Literal rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:first rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_24>} e:sequent {
  {rdf:List a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdf:List rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdf:List a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:List a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:first rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_24>} e:sequent {
  {rdf:List a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdf:List rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>} e:sequent {
  {rdf:Property a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdf:Property rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdf:Property a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Property a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>} e:sequent {
  {rdf:Property a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdf:Property rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdfs:comment rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
  {rdfs:Resource a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdfs:Resource rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdfs:Resource a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdfs:Resource a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{rdfs:Resource rdfs:subClassOf rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Seq rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_19>} e:sequent {
{rdf:Seq a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Seq a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:Seq rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_19>} e:sequent {
{rdf:Seq a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:Seq rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:object rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_28>} e:sequent {
  {rdf:Statement a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
 {rdf:Statement rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}} e:sequent {
{rdf:Statement a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:Statement a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:domain rdfs:range rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
   {rdf:object rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_28>} e:sequent {
  {rdf:Statement a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_48>}} e:sequent {
{rdf:Statement rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_20>} e:sequent {
{rdf:XMLLiteral a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{rdf:XMLLiteral a rdfs:Resource} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
{{{rdfs:subClassOf rdfs:domain rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_33>. 
 {rdf:XMLLiteral rdfs:subClassOf rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_20>} e:sequent {
{rdf:XMLLiteral a rdfs:Class} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}} e:sequent {
{rdf:XMLLiteral rdfs:subClassOf rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_57>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:comment rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
{rdfs:comment a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:comment rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
{rdfs:domain a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:first rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_24>} e:sequent {
{rdf:first a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:isDefinedBy rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_25>} e:sequent {
{rdfs:isDefinedBy a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:label rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_26>} e:sequent {
{rdfs:label a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:member rdfs:domain rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_27>} e:sequent {
{rdfs:member a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:object rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_28>} e:sequent {
{rdf:object a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:predicate rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_29>} e:sequent {
{rdf:predicate a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:comment rdfs:range rdfs:Literal} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_22>} e:sequent {
{rdfs:range a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:rest rdfs:domain rdf:List} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_31>} e:sequent {
{rdf:rest a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdfs:seeAlso rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_32>} e:sequent {
{rdfs:seeAlso a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdf:Alt rdfs:subClassOf rdfs:Container} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_15>} e:sequent {
{rdfs:subClassOf a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_25>} e:sequent {
{rdfs:subPropertyOf a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:subject rdfs:domain rdf:Statement} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_35>} e:sequent {
{rdf:subject a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 
{{rdf:XMLLiteral rdf:type rdfs:Datatype} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_20>} e:sequent {
{rdf:type a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_44>}. 
{{rdfs:domain rdfs:domain rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_23>. 
 {rdf:value rdfs:domain rdfs:Resource} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_37>} e:sequent {
{rdf:value a rdf:Property} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_46>}. 

# Proof found in 1179 steps (19324 steps/sec) using 1 engine (57 triples)
}.