module RDF.Sublogic where
type RDFSub = ()
slTop :: RDFSub
slTop = ()