export declare const data = "@prefix log: <http://www.w3.org/2000/10/swap/log#> .\n@prefix owl: <http://www.w3.org/2002/07/owl#> .\n@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .\n@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .\n@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .\n\n{\n   ?x ?p ?y .\n   ?p rdfs:domain ?c .\n}\n=> \n{\n   ?x a ?c .\n} .\n{\n   ?x ?p ?y .\n   ?p rdfs:range ?c .\n}\n=> \n{\n   ?y a ?c .\n} .\n{\n   ?x ?p ?y1 , ?y2 .\n   ?p a owl:FunctionalProperty .\n}\n=> \n{\n   ?y1 owl:sameAs ?y2 .\n} .\n{\n   ?p a owl:InverseFunctionalProperty .\n   ?x1 ?p ?y .\n   ?x2 ?p ?y .\n}\n=> \n{\n   ?x1 owl:sameAs ?x2 .\n} .\n{\n   ?x ?p ?x .\n   ?p a owl:IrreflexiveProperty .\n}\n=> false .\n{\n   ?x ?p ?y .\n   ?p a owl:SymmetricProperty .\n}\n=> \n{\n   ?y ?p ?x .\n} .\n{\n   ?x ?p ?y .\n   ?p a owl:AsymmetricProperty .\n   ?y ?p ?x .\n}\n=> false .\n{\n   ?x ?p ?y .\n   ?p a owl:TransitiveProperty .\n   ?y ?p ?z .\n}\n=> \n{\n   ?x ?p ?z .\n} .\n{\n   ?x ?p1 ?y .\n   ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n   ?x ?p2 ?y .\n} .\n{\n   ?x ?p1 ?y .\n   ?y ?p2 ?z .\n   ?p2 owl:propertyChainAxiom ?n .\n   ?n rdf:first ?p1 ;\n       rdf:rest ?n2 .\n   ?n2 rdf:first ?p2 .\n}\n=> \n{\n   ?x ?p2 ?z .\n} .\n{\n   ?x ?p1 ?y .\n   ?p1 owl:equivalentProperty ?p2 .\n}\n=> \n{\n   ?x ?p2 ?y .\n} .\n{\n   ?x ?p2 ?y .\n   ?p1 owl:equivalentProperty ?p2 .\n}\n=> \n{\n   ?x ?p1 ?y .\n} .\n{\n   ?x ?p2 ?y ;\n       ?p1 ?y .\n   ?p1 owl:propertyDisjointWith ?p2 .\n}\n=> false .\n{\n   ?x ?p1 ?y .\n   ?p1 owl:inverseOf ?p2 .\n}\n=> \n{\n   ?y ?p2 ?x .\n} .\n{\n   ?x ?p2 ?y .\n   ?p1 owl:inverseOf ?p2 .\n}\n=> \n{\n   ?y ?p1 ?x .\n} .\n{\n   ?x owl:sourceIndividual ?i1 ;\n       owl:assertionProperty ?p ;\n       owl:targetIndividual ?i2 .\n   ?i1 ?p ?i2 .\n}\n=> false .\n{\n   ?x owl:sourceIndividual ?i ;\n       owl:assertionProperty ?p ;\n       owl:targetValue ?lt .\n   ?i ?p ?lt .\n}\n=> false .\n{\n   ?x a owl:Nothing .\n}\n=> false .\n{\n   ?x a ?c1 , ?c2 .\n   ?c1 owl:complementOf ?c2 .\n}\n=> false .\n{\n   ?x owl:someValuesFrom ?y ;\n       owl:onProperty ?p .\n   ?u ?p ?v .\n   ?v a ?y .\n}\n=> \n{\n   ?u a ?x .\n} .\n{\n   ?x owl:someValuesFrom owl:Thing ;\n       owl:onProperty ?p .\n   ?u ?p ?v .\n}\n=> \n{\n   ?u a ?x .\n} .\n{\n   ?x owl:onProperty ?p ;\n       owl:allValuesFrom ?y .\n   ?u a ?x ;\n       ?p ?v .\n}\n=> \n{\n   ?v a ?y .\n} .\n{\n   ?x owl:onProperty ?p ;\n       owl:hasValue ?y .\n   ?u a ?x .\n}\n=> \n{\n   ?u ?p ?y .\n} .\n{\n   ?x owl:onProperty ?p ;\n       owl:hasValue ?y .\n   ?u ?p ?y .\n}\n=> \n{\n   ?u a ?x .\n} .\n{\n   ?x owl:onProperty ?p ;\n       owl:maxCardinality \"0\"^^xsd:nonNegativeInteger .\n   ?u a ?x ;\n       ?p ?y .\n}\n=> false .\n{\n   ?x owl:onProperty ?p ;\n       owl:maxCardinality \"1\"^^xsd:nonNegativeInteger .\n   ?u a ?x ;\n       ?p ?y1 , ?y2 .\n}\n=> \n{\n   ?y1 owl:sameAs ?y2 .\n} .\n{\n   ?x owl:onProperty ?p ;\n       owl:maxQualifiedCardinality \"0\"^^xsd:nonNegativeInteger ;\n       owl:onClass ?c .\n   ?y a ?c .\n   ?u a ?x ;\n       ?p ?y .\n}\n=> false .\n{\n   ?x owl:onProperty ?p ;\n       owl:maxQualifiedCardinality \"0\"^^xsd:nonNegativeInteger ;\n       owl:onClass owl:Thing .\n   ?u a ?x ;\n       ?p ?y .\n}\n=> false .\n{\n   ?x owl:onProperty ?p ;\n       owl:maxQualifiedCardinality \"1\"^^xsd:nonNegativeInteger ;\n       owl:onClass ?c .\n   ?y1 a ?c .\n   ?y2 a ?c .\n   ?u a ?x ;\n       ?p ?y1 , ?y2 .\n}\n=> \n{\n   ?y1 owl:sameAs ?y2 .\n} .\n{\n   ?x owl:onProperty ?p ;\n       owl:maxQualifiedCardinality \"1\"^^xsd:nonNegativeInteger ;\n       owl:onClass owl:Thing .\n   ?u a ?x ;\n       ?p ?y1 , ?y2 .\n}\n=> \n{\n   ?y1 owl:sameAs ?y2 .\n} .\n{\n   ?x a ?c1 .\n   ?c1 rdfs:subClassOf ?c2 .\n}\n=> \n{\n   ?x a ?c2 .\n} .\n{\n   ?x a ?c1 .\n   ?c1 owl:equivalentClass ?c2 .\n}\n=> \n{\n   ?x a ?c2 .\n} .\n{\n   ?x a ?c2 .\n   ?c1 owl:equivalentClass ?c2 .\n}\n=> \n{\n   ?x a ?c1 .\n} .\n{\n   ?x a ?c1 , ?c2 .\n   ?c1 owl:disjointWith ?c2 .\n}\n=> false .\n{\n   ?c a owl:Class .\n}\n=> \n{\n   owl:Nothing rdfs:subClassOf ?c .\n   ?c rdfs:subClassOf ?c , owl:Thing ;\n       owl:equivalentClass ?c .\n} .\n{\n   ?c1 rdfs:subClassOf ?c2 .\n   ?c2 rdfs:subClassOf ?c3 .\n}\n=> \n{\n   ?c1 rdfs:subClassOf ?c3 .\n} .\n{\n   ?c1 owl:equivalentClass ?c2 .\n}\n=> \n{\n   ?c1 rdfs:subClassOf ?c2 .\n   ?c2 rdfs:subClassOf ?c1 .\n} .\n{\n   ?c1 rdfs:subClassOf ?c2 .\n   ?c2 rdfs:subClassOf ?c1 .\n}\n=> \n{\n   ?c1 owl:equivalentClass ?c2 .\n} .\n{\n   ?p a owl:ObjectProperty .\n}\n=> \n{\n   ?p rdfs:subPropertyOf ?p ;\n       owl:equivalentProperty ?p .\n} .\n{\n   ?p a owl:DatatypeProperty .\n}\n=> \n{\n   ?p rdfs:subPropertyOf ?p ;\n       owl:equivalentProperty ?p .\n} .\n{\n   ?p2 rdfs:subPropertyOf ?p3 .\n   ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n   ?p1 rdfs:subPropertyOf ?p3 .\n} .\n{\n   ?p1 owl:equivalentProperty ?p2 .\n}\n=> \n{\n   ?p2 rdfs:subPropertyOf ?p1 .\n   ?p1 rdfs:subPropertyOf ?p2 .\n} .\n{\n   ?p2 rdfs:subPropertyOf ?p1 .\n   ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n   ?p1 owl:equivalentProperty ?p2 .\n} .\n{\n   ?p rdfs:domain ?c1 .\n   ?c1 rdfs:subClassOf ?c2 .\n}\n=> \n{\n   ?p rdfs:domain ?c2 .\n} .\n{\n   ?p2 rdfs:domain ?c .\n   ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n   ?p1 rdfs:domain ?c .\n} .\n{\n   ?p rdfs:range ?c1 .\n   ?c1 rdfs:subClassOf ?c2 .\n}\n=> \n{\n   ?p rdfs:range ?c2 .\n} .\n{\n   ?p2 rdfs:range ?c .\n   ?p1 rdfs:subPropertyOf ?p2 .\n}\n=> \n{\n   ?p1 rdfs:range ?c .\n} .\n{\n   ?p1 rdfs:subPropertyOf ?p2 .\n   ?c1 owl:onProperty ?p1 ;\n       owl:hasValue ?i .\n   ?c2 owl:onProperty ?p2 ;\n       owl:hasValue ?i .\n}\n=> \n{\n   ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n   ?y1 rdfs:subClassOf ?y2 .\n   ?c1 owl:someValuesFrom ?y1 ;\n       owl:onProperty ?p .\n   ?c2 owl:someValuesFrom ?y2 ;\n       owl:onProperty ?p .\n}\n=> \n{\n   ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n   ?p1 rdfs:subPropertyOf ?p2 .\n   ?c1 owl:someValuesFrom ?y ;\n       owl:onProperty ?p1 .\n   ?c2 owl:someValuesFrom ?y ;\n       owl:onProperty ?p2 .\n}\n=> \n{\n   ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n   ?y1 rdfs:subClassOf ?y2 .\n   ?c1 owl:onProperty ?p ;\n       owl:allValuesFrom ?y1 .\n   ?c2 owl:onProperty ?p ;\n       owl:allValuesFrom ?y2 .\n}\n=> \n{\n   ?c1 rdfs:subClassOf ?c2 .\n} .\n{\n   ?p1 rdfs:subPropertyOf ?p2 .\n   ?c1 owl:onProperty ?p1 ;\n       owl:allValuesFrom ?y .\n   ?c2 owl:onProperty ?p2 ;\n       owl:allValuesFrom ?y .\n}\n=> \n{\n   ?c2 rdfs:subClassOf ?c1 .\n} .\n";