module RDF.Sublogic where

type RDFSub = ()

slTop :: RDFSub
slTop :: RDFSub
slTop = ()