trNamedSentence :: DLSign -> Named (FORMULA DL_FORMULA) ->
                   Result (Named (FORMULA ()))
trNamedSentence inSig inForm = do
        outSen <- trSentence inSig $ sentence inForm
        return $ mapNamed (const outSen) inForm

-- ^ translation of sentences
trNamedSentence :: DLSign -> Named (FORMULA DL_FORMULA) ->
                   Result (Named (FORMULA ()))
trNamedSentence inSig inForm = do
        outSen <- trSentence inSig $ sentence inForm
        return $ mapNamed (const outSen) inForm

-- ^ translation of sentences
trNamedSentence inSig inForm = do
        outSen <- trSentence inSig $ sentence inForm
        return $ mapNamed (const outSen) inForm

-- ^ translation of sentences