@prefix dc: <http://purl.org/dc/elements/1.1/>.
<> dc:description """a cwm filter that selects only
statements that RDFS assigns meaning to.""".

@prefix u: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix r: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix log: <http://www.w3.org/2000/10/swap/log.n3#>.
@prefix : <#>.

<> log:forAll :s, :p, :p2, :o, :x, :C, :C2.

{ :s r:type :C } log:implies { :s r:type :C }.

# @@skipping rdf:predicate/subject/object, Statement
# @@skipping Alt/Bag/Seq/Container

{ :s :domain :C } log:implies { :s u:domain :C }.
{ :s :range :C } log:implies { :s u:range :C }.

{ :s u:subPropertyOf :o } log:implies { :s u:subPropertyOf :o }.
{ :s u:subClassOf :o } log:implies { :s u:subClassOf :o }.

{ :s a u:Resource } log:implies { :s a u:Resource }.
{ :s a u:Class } log:implies { :s a u:Class }.
{ :s a r:Property } log:implies { :s a r:Property }.

{ :s u:label :o } log:implies { :s u:label :o }.
{ :s u:isDefinedBy :o } log:implies { :s u:isDefinedBy :o }.
{ :s u:seeAlso :o } log:implies { :s u:seeAlso :o }.
{ :s u:comment :o } log:implies { :s u:comment :o }.
{ :s u:value :o } log:implies { :s u:value :o }.

# @@ Skipping ConstraintProperty, ConstraintResource