@prefix v: <http://infomesh.net/2001/05/rdflint/vars#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

this log:forAll v:x , v:y , v:z , v:p .

rdfs:containerMembershipProperty 
   rdfs:subClassOf rdf:Property; 
   a rdfs:Class .
rdfs:range 
   a rdfs:ConstraintProperty, rdf:Property; 
   rdfs:domain rdf:Property; 
   rdfs:range rdfs:Class .
rdfs:domain 
   a rdfs:ConstraintProperty, rdf:Property; 
   rdfs:domain rdf:Property; 
   rdfs:range rdfs:Class .
rdfs:ConstraintProperty 
   rdfs:subClassOf rdf:Property, rdfs:ConstraintResource;
   a rdfs:Class .
rdfs:ConstraintResource 
   a rdfs:Class .
rdfs:Class 
   a rdfs:Class; 
   rdfs:subClassOf rdfs:Resource .
rdfs:Literal 
   a rdfs:Class .
rdfs:Resource 
   a rdfs:Class .
rdf:type 
   a rdf:Property; 
   rdfs:domain rdfs:Resource; 
   rdfs:range rdfs:Class .
rdf:Property 
   a rdfs:Class; 
   rdfs:subClassOf rdfs:Resource .
rdfs:label 
   a rdf:Property; 
   rdfs:domain rdfs:Resource; 
   rdfs:range rdfs:Literal .
rdfs:isDefinedBy 
   a rdf:Property .
rdfs:comment 
   a rdf:Property; 
   rdfs:domain rdfs:Resource; 
   rdfs:range rdfs:Literal .
rdfs:seeAlso 
   a rdf:Property .
rdfs:subClassOf 
   a rdf:Property; 
   rdfs:domain rdfs:Class; 
   rdfs:range rdfs:Class .
rdfs:subPropertyOf 
   a rdf:Property; 
   rdfs:domain rdf:Property; 
   rdfs:range rdf:Property .

{ v:x v:y v:z . v:y rdfs:range v:p } log:implies { v:z a v:p } .
{ v:x v:y v:z . v:y rdfs:domain v:p } log:implies { v:x a v:p } .
{ v:x rdfs:subClassOf v:y . v:z a v:x } log:implies { v:z a v:y } .