@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#>.

@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix v: <#>.

this log:forAll v:nx, v:ny, v:rdesc, v:col, v:p, v:o, v:elt.

{ v:nx a rdfs:ContainerMembershipProperty.
  v:ny a rdfs:ContainerMembershipProperty.

  v:rdesc v:nx [ rdf:predicate v:p; rdf:object v:o ].

  v:rdesc rdf:aboutEach v:col.

  v:col v:ny v:elt.
}
  log:implies { v:elt v:p v:o }.

  

this log:forAll v:b, v:m.

#{ v:b [ a rdfs:ContainerMembershipProperty ] v:m. }
#  log:implies { v:b :member v:m }.

# These are axioms of RDFS
rdf:_1 a rdfs:ContainerMembershipProperty.
rdf:_2 a rdfs:ContainerMembershipProperty.
rdf:_3 a rdfs:ContainerMembershipProperty.