c2f :: Clause -> Def