∀s sub super ( rdf:type(s, sub) ∧ rdfs:subclassOf(super, sub) ⇒ rdf:type(s, super)
too long to include!
Sandro Hawke
17 of 22