nltk.Prover9Command.get_prover

Prover9Command.get_prover()