docstr: :see: Prover9Parent.prover9_input
docstr_tok: [":","see",":","Prover9Parent.prover9_input"]
code: def prover9_input(self, goal, assumptions):
      """
      :see: Prover9Parent.prover9_input
      """
      s = "clear(auto_denials).\n"  # only one proof required
      return s + Prover9Parent.prover9_input(self, goal, assumptions)
  
imports: import os
  import subprocess
  import nltk
  from nltk.inference.api import BaseProverCommand, Prover
  from nltk.sem.logic import AllExpression, AndExpression, EqualityExpression, ExistsExpression, Expression, IffExpression, ImpExpression, NegatedExpression, OrExpression
label_desc: Use image node_id 3 for calling the Prover9 obj's underlying member method code with example usage: obj.prover9_input(goal, assumptions) and returns: unknown