ClOr :: [Clause] -> Clause  -- data constructor