p2fCl :: Pcl -> Clause