-- ^ translation of the signature
-- ^ predefined axioms are added

-- Translation of theories
trTheory :: (DLSign, [Named (FORMULA DL_FORMULA)]) ->
            Result (CASLSign, [Named (FORMULA ())])
trTheory (inSig, inForms) = do
      outForms <- mapR (trNamedSentence inSig) inForms
      return (trSign inSig, predefinedAxioms ++ outForms)

-- ^ translation of named sentences
trTheory :: (DLSign, [Named (FORMULA DL_FORMULA)]) ->
            Result (CASLSign, [Named (FORMULA ())])
trTheory (inSig, inForms) = do
      outForms <- mapR (trNamedSentence inSig) inForms
      return (trSign inSig, predefinedAxioms ++ outForms)

-- ^ translation of named sentences
trTheory (inSig, inForms) = do
      outForms <- mapR (trNamedSentence inSig) inForms
      return (trSign inSig, predefinedAxioms ++ outForms)

-- ^ translation of named sentences