parameters: (cnf)
return_statement: return ' | '.join(unparse_literal(literal) for literal in cnf['clauses'])
docstring: Convert a CNF formula in a JSON-format dictionary into TPTP syntax.
docstring_summary: Convert a CNF formula in a JSON-format dictionary into TPTP syntax.
docstring_tokens: Convert a CNF formula in a JSON - format dictionary into TPTP syntax .
function: def unparse_cnf(cnf):
    """Convert a CNF formula in a JSON-format dictionary into TPTP syntax."""
    return ' | '.join(unparse_literal(literal) for literal in cnf['clauses'])
function_tokens: def unparse_cnf ( cnf ) : return ' | ' . join ( unparse_literal ( literal ) for literal in cnf [ 'clauses' ] )