def convert_to_prover9(input):
    if isinstance(input, list):
        result = []
        for s in input:
            try:
                result.append(_convert_to_prover9(s.simplify()))
            except:
                print('input %s cannot be converted to Prover9 input syntax' % input)
                raise
        return result
    else:
        try:
            return _convert_to_prover9(input.simplify())
        except:
            print('input %s cannot be converted to Prover9 input syntax' % input)
            raise
Convert a ``logic.Expression`` to Prover9 format.
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/convert_to_prover9