#NEWLINE# def __init__( self , goal = None , assumptions = None , prover = None ) : #NEWLINE# #INDENT# '\n        :param goal: Input expression to prove\n        :type goal: sem.Expression\n        :param assumptions: Input expressions to use as assumptions in\n            the proof.\n        :type assumptions: list(sem.Expression)\n        ' #NEWLINE# if ( prover is not None ) : #NEWLINE# #INDENT# assert isinstance ( prover , ResolutionProver ) #NEWLINE# #UNINDENT# else : #NEWLINE# #INDENT# prover = ResolutionProver ( ) #NEWLINE# #UNINDENT# BaseProverCommand . __init__ ( self , assumptions , goal , assumptions ) #NEWLINE# self . _clauses = None