package rsacomb

import tech.oxfordsemantic.jrdfox.logic.{Atom, BodyFormula}

case class RDFoxRuleShards(res : List[Atom], ext : List[BodyFormula])