@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix l: <http://www.w3.org/2000/10/swap/log#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <rdfs#>.

####
#
# RDFS rules

# subClassOf

this l:forAll :x, :C.

{ :x a [ u:subClassOf :C ] } log:implies { :x a :C }.