def test_convert_to_prover9(expr):
    for t in expr:
        e = Expression.fromstring(t)
        print(convert_to_prover9(e))
Parse the vnc line
dataset/ETHPy150Open nltk/nltk/nltk/inference/prover9.py/test_convert_to_prover9--crossover with--dataset/ETHPy150Open saltstack/salt/salt/utils/kickstart.py/parse_vnc